fond
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

Procedure

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.

Deadline

The deadline for submission of model for the Model Checking Contest is November 15, 2012.