Skip to Main content Skip to Navigation
Book sections

MCC’2017 - The Seventh Model Checking Contest

Abstract : 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.
Complete list of metadata

Cited literature [42 references]  Display  Hide  Download
Contributor : Hubert Garavel Connect in order to contact the contributor
Submitted on : Tuesday, November 13, 2018 - 2:32:22 PM
Last modification on : Friday, January 21, 2022 - 3:09:59 AM
Long-term archiving on: : Thursday, February 14, 2019 - 12:56:42 PM


Files produced by the author(s)



Fabrice Kordon, Hubert Garavel, Lom Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, et al.. MCC’2017 - The Seventh Model Checking Contest. Transactions on Petri Nets and Other Models of Concurrency XIII, 11090, Springer, pp.181-209, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-58381-4_9⟩. ⟨hal-01917492⟩



Les métriques sont temporairement indisponibles