Dear all,
The Model Checking Contest is a yearly scientific event dedicated to the
assessment of formal verification tools for concurrent systems.
The Model Checking Contest has two different parts: the Call for Models, which
gathers Petri net models proposed by the scientific community, and the Call
for Tools, which benchmarks verification tools developed within the scientific
community.
The Model Checking Contest in 2014 will take place in June 24, 2014 in Tunis,
as a part of the Petri Nets and ACSD conferences. Last year, we gathered 28
models, some having scaling parameters. More from the community are needed
to complete a full benchmark checking as many situations as possible.
So, we invite you to submit your models, from benchmarks of your tools, cases
studies, etc. This call will end in December 15, 2013.
About the MCC'2014 : http://mcc.lip6.fr
call fro model: http://mcc.lip6.fr/cfm.php or
http://mcc.lip6.fr/pdf/MCC2014-CFM.pdf
--
--------------------------------------------------------------------------
Fabrice Kordon Université Pierre & Marie Curie
Tel: +33 1 44 27 88 20 LIP6/MoVe, Bureau 26/25-212
Fax: +33 1 44 27 74 95 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] ]]
