Dear all,
This is just to remind tool developers that the PETRI NET 2011 model
checking contest deadline is in 11 days.
Its main objective is to compare the efficiency of techniques
according to characteristics of models. To do so, the Model Checking
Contest compares tools on academic models with scaling capabilities
(e.g. values that set up the "size" of the associated state space).
For the first edition of the Model Checking Contest, we have selected
a limited set of capabilities to be evaluated. Based on this
experiment, future editions will propose more sophisticated ones. So
far, we only check for state space generation and evaluation of
safety (reachability) properties and deadlock computation.
This is a unique occasion, as a participant, to help the community to:
1) start on the definition of common benchmarks used by all participants,
2) help in the evaluation of techniques, as well as, the
identification of their strength and weakness (e.g. appropriateness
of the involved techniques for a given type of models)
3) compare your tool among the galaxy of existing tools.
According to the success of the contest and the quality of results, a
report paper will be published in TOPNOC and thus officially state
some clues for potential users of our technologies. If so, this
report will not only focus on performances but will provide a
tentative classification of properties and techniques that have been
analyzed during the contest.
Joint submissions (as a paper to SUMo and a tool in the contest) are
encouraged too.
For more information, please go to: http://sumo.lip6.fr/mcc.html
Best regards.
Fabrice Kordon on behalf of the organizers
--
--------------------------------------------------------------------------
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] ]]
