Model Checking Contest @ Petri Nets 2016
6th edition, Toruń, Poland, June 21, 2016
Tool Registration form for the 2016 edition of the Model Checkig Contest
Last Updated
June 30, 2016


IMPORTANT: if, as a tool developer, you are interested in submitting your tool for the MCC'2016, please register using the form below. You will then be added to the mailing-list and be alerted of any information concerning the Model Checking Contest. You might also be contacted for checking certain choices concerning the examination.

Your first-name: Your last-name: Your email:

Your tool: and the type of Petri net it supports:

The URL of your tool (beter but not mandatory):

Type of examination envisioned :
     State space generation
     Reachability properties
     CTL properties
     LTL properties

List of the Examinations Model Checkers can participate in

Several examinations are proposed: