Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Tool Registration form for the 2016 edition of the Model Checkig Contest
Last Updated
Jun 28, 2020


IMPORTANT: if, as a tool developer, you are interested in submitting your tool for the MCC'2020, 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 (better but not mandatory):

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

List of the Examinations Model Checkers can participate in

Several examinations are proposed: