Model Checking Contest @ Petri Nets 2013
Milano, Italy, June 25, 2013
Call for Models
Last Updated
Apr. 26, 2013
the call for model is now closed


The first step of the Model Checking Contest is a call for model. The community (and not only tool developers) may propose models to be processed by tools during the contest. 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 November 15, 2012.