Model Checking Contest 2022
12th edition, Bergen, Norway, June 21, 2022
Tool Registration form for the 2016 edition of the Model Checkig Contest
Last Updated
Jan 13, 2022
under construction
The MCC web site is currently under construction
Please have a look at the previous editions' material at this stage (see upper-right menu)


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: