Dear Petri-Netters,
As you probably know, the Model Checking Contest is a yearly event that allows
model checking tools to compete on a large set of models. This year, 13 tools
and tool variants did participated.
After a review period by tool developers, the organizing team is happy to
announce that the full results are now available at the following URL:
http://mcc.lip6.fr/results.php
We hope you will find these useful.
Best regards.
--------------------------------------------------------------------------------------
Fabrice Kordon
Université Pierre & Marie Curie
LIP6/MoVe, Bureau 26/25-212
4 place Jussieu, 75252 Paris Cedex 05
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] ]]
