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.
Liste complète des métadonnées

https://hal.inria.fr/hal-01917492
Contributor : Hubert Garavel <>
Submitted on : Tuesday, November 13, 2018 - 2:32:22 PM
Last modification on : Friday, April 19, 2019 - 2:26:07 PM
Document(s) archivé(s) le : Thursday, February 14, 2019 - 12:56:42 PM

File

ToPNoC-mcc2017.pdf
Files produced by the author(s)

Identifiers

Citation

Fabrice Kordon, Hubert Garavel, Lom Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, et al.. MCC'2017-The Seventh Model Checking Contest. 25th TACAS@ETAPS 2019, Apr 2019, Prague, Czech Republic. pp.181-209, ⟨10.1007/978-3-662-58381-4_9⟩. ⟨hal-01917492⟩

Share

Metrics

Record views

313

Files downloads

116