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 2015 will take place in June 23, 2015 in
Bruxelles,
as a part of the Petri Nets and ACSD conferences. Last year, we gathered 33
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, 2014.
IMPORTANT: to ease communication between potential tool submitters and possibly
have their opinion on some subjects, we set-up a preregistration. It is not
mandatory
but if you may consider to submit a tool, then let us know thanks to the form
available
in the Home page of the web site.
About the MCC'2015 : http://mcc.lip6.fr
call fro model: http://mcc.lip6.fr/cfm.php or
http://mcc.lip6.fr/pdf/MCC2014-CFM.pdf
----
[[ 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] ]]
