MCC’2017 - The Seventh Model Checking Contest
- Kordon, Fabrice
- Garavel, Hubert
- Hillah, Lom
- Paviot-Adet, Emmanuel
- Jezequel, Loïg
- Hulin-Hubard, Francis
- Amparore, Elvio
- Beccuti, Marco
- Berthomieu, Bernard
- Evrard, Hugues
- Jensen, Peter,
- Le Botlan, Didier
- Liebke, Torsten
- Meijer, Jeroen
- Srba, Jiří
- Thierry-Mieg, Yann
- Van De Pol, Jaco
- Wolf, Karsten
Publication date
November 2018
DOI Publisher
Springer Science and Business Media LLCAbstract
International audienceCreated in 2011, the Model Checking Contest (MCC) is an annual competition dedicated to provide a fair evaluation of software tools that verify concurrent systems using state-space exploration techniques and model checking. This article presents the principles and results of the 2017 edition of the MCC, which took place along with the Petri Net and ACSD joint conferences in Zaragoza, Spain
Add to ORKG