@inproceedings{dc0048c270d54fdc9a1237120a25d8c4,
title = "Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023",
abstract = "This paper takes you behind the scenes of the Model Checking Contest (MCC), an annual competition focusing on the behavioral analysis of asynchronous systems using state-space exploration and model checking techniques.The MCC is part of a thriving group of scientific events dedicated to provide a fair evaluation of formal analysis tools, with the goal to push forward the state of the art and provide insights into the evolution of the involved technologies and approaches. We give details on the organization of the competition and on the ways we manage models and formulas. We also take a look at the evolution of the results over the 2018--2023 period, using the wide variety of data we collect each year, and report on the impact the MCC had on the competing tools. ",
author = "N. Amat and E. Amparore and B. Berthomieu and P. Bouvier and S. Zilio and F. Hulin-Hubard and Jensen, {Peter Gj{\o}l} and L. Jezequel and F. Kordon and S. Li and E. Paviot-Adet and L. Petrucci and Jiri Srba and Y. Thierry-Mieg and K. Wolf",
year = "2025",
doi = "10.1007/978-3-031-67695-6_3",
language = "English",
isbn = "978-3-031-67694-9",
volume = "14550",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "52--89",
editor = "Dirk Beyer and Arnd Hartmanns and Fabrice Kordon",
booktitle = "TOOLympics Challenge 2023",
address = "Germany",
}