Dear Petrineters,
Two notes concerning the model checking contest for 2024 :
- The deadline to submit tools is approaching :
https://mcc.lip6.fr/2024/cft.php
- It is still possible to submit «surprise» models for the 2024 edition
https://mcc.lip6.fr/2024/cfm.php
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/
