Model Checking Contest 2019
9th edition, Prague, Czech Republic, April 7, 2019 (TOOLympics)
Tool Registration form for the 2016 edition of the Model Checkig Contest
Last Updated
Apr 15, 2019


IMPORTANT: if, as a tool developer, you are interested in submitting your tool for the MCC'2019, 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: