fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2019
9th edition, Prague, Czech Republic, April 7, 2019 (TOOLympics)
Home Page
Last Updated
Apr 15, 2019
April 15, 2019: Full results out (including logs and generated charts) is out
April 7, 2019: Partial results out (missing detailed charts) is out
December 16, 2018: minor updates of the rules and the submission kits (bug fixed in documentation parts)
December 5, 2018: call for Tool participation is out
November 20, 2018: new web site for 2019

Results for the MCC 2019

If you want to cite the 2019 MCC report, please proceed as follows (bibtex entry):

@misc{mcc:2019,
	Author = {F. Kordon and H. Garavel and L. M. Hillah and F. Hulin-Hubard and
		E. Amparore and M. Beccuti and B. Berthomieu and G. Ciardo and S. {Dal Zilio} and
		T. Liebke and S. Li and J. Meijer and A. Miner and J. Srba and
		Y. Thierry-Mieg and J. van de Pol and T. van Dirk and K. Wolf},
	Howpublished = {{http://mcc.lip6.fr/2019/results.php}},
	Lastchecked = 2019,
	Month = {April},
	Title = {{Complete Results for the 2019 Edition of the Model Checking Contest}},
	Urldate = {2019},
	Year = {2019}}

Objectives

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

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 (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 tools.

After eight editions in 2011, 2012, 2013, 2014, 2015, 2016, 2017, and 2018 this is the ninth one that will take place at TOOLympics 2019 in Prague, aside the TACAS conference.

Results of the Previous Editions

Below is a quick access to the results of the past editions of the Model Checking Contest:

Important dates