Dear colleagues,
This is just to let you know that exceptionally, this year, results of the
Model Checking Contest will be presented at TOOLympics, a joint event gathering
several verification competition for the 25th TACAS anniversary:
https://tacas.info/toolympics.php
We hope you will can make in Prague for April 7, 2019.
Best regards.
Fabrice
--------------------------------------------------------------------------------------
Fabrice Kordon
Sorbonne Université
Campus Pierre & Marie Curie
LIP6/MoVe, Bureau 26-00/202 ou 26-25/216
4 place Jussieu, 75252 Paris Cedex 05
http://lip6.fr/Fabrice.Kordon/ <http://lip6.fr/Fabrice.Kordon/>
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
