Dear all,
This is the call for tool participation for the Model Checking
Contest @ PETRI NETS 2013. All information to operate tool
integration is already available on the web site:
http://mcc.lip6.fr
Submitted tools will be evaluated against 24 models selected from the
first call (for model submission). A few more "surprise models"
should be added to evaluate tools with their default settings (check
the experience for non specialists users ;-) ).
Please note that we greatly simplified the interface procedure with
the evaluation system that has been set up aside of the MCC itself
(see http://benchkit.cosyverif.org).
Tools must be submitted by May 1st, 2013 according to the
instructions provided in the web site.
Best regards.
Fabrice
--
--------------------------------------------------------------------------
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] ]]
