Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Home Page
Last Updated
May 14, 2023
May 14, 2023: final results of the MCC'2023 are online
April 26, 2023: results of the MCC'2023 are online (without chart, bug to be corrected)
April 26, 2023: surprise models are online
April 14, 2023: program of the MCC workshop is online
February 4, 2023: announcing the MCC workshop
December 30, 2022: Submission kit online (a bit late, sorry)
December 3, 2022: details corrected
November 11, 2022: new rules for 2023
October 5, 2022: deployed web site for 2023

Results for the MCC 2023

As it is this year again a remote event, the MCC results will be out in two steps:

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

	Author = {F. Kordon and P. Bouvier and H. Garavel and F. Hulin-Hubard and
		N. Amat. and E. Amparore and B. Berthomieu and D. Donatelli and
		S. {Dal Zilio} and {P. G.} Jensen and L. Jezequel and
		E. Paviot-Adet and J. Srba and Y. Thierry-Mieg},
	Howpublished = {{}},
	Lastchecked = 2023,
	Month = {April},
	Title = {{Complete Results for the 2023 Edition of the Model Checking Contest}},
	Urldate = {2023},
	Year = {2023}}


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 twelve editions in 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020, 2021, and 2022. This edition is the thirteenth one that will take place during the ETAPS conference (Paris France).

Special in 2023

In 2023, the Model Checking Contest will be co-located with TOOLympics 2023, a side event of TACAS'2023 to be held at ETAPS'2023. results will be presented during the special session dedicated to TOOLympics 2023 on Wednesday, April 26.

We also organize on Sunday April 23 in Paris, the Model Checking Contest workshop as a satellite event of ETAPS'2023. Small remote attendance might be possible for people registered for the workshop (via ETAPS'2023).

Results of the Previous Editions

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

Important dates