MCC'2017 - The Seventh Model Checking Contest

Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Gilberto Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter Gjøl Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    2 Citations (Scopus)


    Created 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.
    Original languageEnglish
    Title of host publicationTransactions on Petri Nets and Other Models of Concurrency XIII
    EditorsMaciej Koutny, Lars Michael Kristensen, Wojciech Penczek
    Number of pages29
    ISBN (Electronic)978-3-662-58381-4
    Publication statusPublished - 21 Nov 2018

    Publication series

    NameLecture notes in computer science



    • Model Checking Contest
    • Petri Nets
    • LTSmin

    Cite this

    Kordon, F., Garavel, H., Hillah, L-M., Paviot-Adet, E., Jezequel, L., Hulin-Hubard, F., ... Wolf, K. (2018). MCC'2017 - The Seventh Model Checking Contest. In M. Koutny, L. M. Kristensen, & W. Penczek (Eds.), Transactions on Petri Nets and Other Models of Concurrency XIII (pp. 181-209). (Lecture notes in computer science; Vol. 11090).