Dear all,Please find at the following URL, the results of the 2023 edition of the Model Checking Contest which were presented at TOOLympic II, during ETAPS. https://mcc.lip6.fr/2023/results.php Please note that a meeting about the model checking contest is planed on Tuesday June 27 (afternoon) as a satellite event of the Petri Net conference. Discussion about results and potential extentions of the contest will be discussed. 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/
