HomeRulesCfPCall for ModelsOrganizersMCC 2011
Model Checking Contest @ PETRI NETS 2012
Hamburg, Germany, June 25-29 2012

Call for Model

The first step of the Model Checking Contest is a call for model. The community (and not only tool developers) may propose models belonging to one of the categories mentioned above. To do so, please respect the following procedure.

The pdf version of the "Call for Model" is available here.


The deadline for submission of model for the Model Checking Contest is October 31, 2011.