LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Links » LIP6 events

MCC@PETRI NETS 2012RSS

Model Checking Contest at PETRI NETS 2012


http://mcc.lip6.fr
Submission deadline 10/30/2011
06/25/2012 to 06/29/2012
We just launched the first phase of the Model Checking Contest @ PETRI NET 2012. This phase allows the community to provide us with benchmark models.
This phase will end by October 30, 2011. Then, models will be evaluated and some will be selected to be part of the benchmark for 2012 (together with the ones of 2011).
More details here
mcc-contest-committee (at) nullsysteme.lip6.fr
 Mentions légales
Site map |