Model Checking Contest

Model Checking Contest @ Petri Nets 2014

The Model Checking Contest is a yearly scientific event dedicated to the assessment of formal verification tools for concurrent systems.

After three editions in 2011, 2012 and 2013, this is the fourth one that will take place at Petri Nets 2014 in Tunis, June 24.

The Model Checking Contest has two different parts: the Call for Models, which gathers Petri net models proposed by the scientific community, and the Call for Tools, which benchmarks verification tools developed within the scientific community.

The objective of the Model Checking Contest is to compare the efficiency of techniques according to characteristics of models. To do so, the Model Checking Contest compares tools on several classes of models with scaling capabilities (e.g. values that set up the «size» of its associated state space). Through the feedback on tools efficiency according to the selected benchmarks, we aim at identifying the techniques that can tackle a given type of problem identified in a «typical mode», for a given class of problem (e.g. state space generation, deadlock detection, reachability analysis, causal analysis).

The Model Checking Contest is composed of two calls: a call for models and a call for tool participation.

Announcement of results: Tuesday 24 June 2014 at 16:30 in Tunis Science City

For more information visit the MCC web site :