Results for the MCC 2023
As it is this year again a remote event, the MCC results will be out in two steps:
- the Complete Results for the 2023 Edition of the Model Checking Contest,
- the slides presented during the TOOLympics session @ETAPS (Paris).
If you want to cite the 2023 MCC report, please proceed as follows (bibtex entry):
@misc{mcc:2023,
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 = {{https://mcc.lip6.fr/2023/results.php}},
Lastchecked = 2023,
Month = {April},
Title = {{Complete Results for the 2023 Edition of the Model Checking Contest}},
Urldate = {2023},
Year = {2023}}
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 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:
- MCC'2022 @ Bergen: slides - HTML report
- MCC'2021 @ Paris: video - HTML report
- MCC'2020 @ Paris: video - HTML report
- MCC'2019 @ Prague: slides - HTML report
- MCC'2018 @ Bratislava: slides - HTML report
- MCC'2017 @ Zaragoza: slides - HTML report
- MCC'2016 @ Torún: slides - HTML report
- MCC'2015 @ Brussels: slides - HTML report
- MCC'2014 @ Tunis: slides - HTML report
- MCC'2013 @ MIlano: slides - HTML report - PDF report (CoRR)
- MCC'2012 @ Hamburg: slides - PDF report (CoRR)
- MCC'2011 @ Newcastle: slides - report (ToPnoC link)
Important dates
- October 5, 2022: publication of the present Call for Models
- October 20, 2022: publication of the present Call for Tools.
- November 1, 2022: publication of the updated contest rules for 2023 at http://mcc.lip6.fr/2023/pdf/rules.pdf
- December 1st, 2022: publication of the Tool Submission Kit, which is available from https://mcc.lip6.fr/2023/archives/SubmissionKit.tar.gz
- February 1st, 2023: deadline for tool pre-registration If you plan to submit a tool to the contest, please fill in the pre-registration form available from http://mcc.lip6.fr/registration.php
- February 15, 2023: deadline for tool submission
- February 15, 2023: deadline for model submission (for the MCC'2023)
- March 5, 2023: early feedback to tool submitters, following the preliminary qualification runs, which are performed using a few small instances of the "known" models.
- April 1st, 2023: individual notification of model acceptance/rejection
- April 20, 2023: more feedback to tool submitters, following the competition runs
- April 27, 2023: on-line publication of the selected MCC'2023 models
- April 22-27, 2023: announcement of MCC'2023 results during the ETAPS conference (Paris France)