Dear colleagues, As suggested during the MCC'2023 discussions, we are organizing a workshop dedicated to the Model Checking Contest @ ETAPS. This event will take place on Sunday April 23.
The objective of this workshop is to bring together developers and organizers in order to discuss several issues aside the model checking contest that cold be useful for the involved communities. Several suggestions were pointed out like : - discussion among tool developers about the new techniques they operated for the contest - identification of a core semantics for Petri nets with time that could enable the creation of a new examination dealing with timed properties - some tutorial like the integration of a tool in the framework of the competition or how to operate the execution environment itself. Some abstract should be provided in order to let the organizers to establish a program. From the discussions, a paper could be issued by participants in a special issue or a volume dedicated to this event. Best regards. Fabrice -------------------------------------------------------------------------------------- Fabrice Kordon Sorbonne Université Campus Pierre & Marie Curie LIP6/MoVe, Office 26-00/202 or 26-25/216 4 place Jussieu, 75252 Paris Cedex 05 http://lip6.fr/Fabrice.Kordon/
