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.
Type de document :
Article dans une revue
LNCS Transactions on Petri Nets and Other Models of Concurrency, Springer, 2018, Lecture Notes in Computer Science, 11090, pp.181-209. 〈10.1007/978-3-662-58381-4_9〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01917492
Contributeur : Hubert Garavel <>
Soumis le : mardi 13 novembre 2018 - 14:32:22
Dernière modification le : jeudi 7 février 2019 - 16:57:54
Document(s) archivé(s) le : jeudi 14 février 2019 - 12:56:42

Fichier

ToPNoC-mcc2017.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

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

Partager

Métriques

Consultations de la notice

247

Téléchargements de fichiers

75