fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Tool Registration form for the 2016 edition of the Model Checkig Contest
Last Updated
May 21, 2018

Pre-registration

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