MCC'2017-The Seventh Model Checking Contest

Fabrice Kordon; Hubert Garavel; Lom Hillah; Emmanuel Paviot-Adet; Loïg Jezequel; Francis Hulin-Hubard; Elvio Amparore; Marco Beccuti; Bernard Berthomieu; Hugues Evrard; Peter Jensen; Didier Le Botlan; Torsten Liebke; Jeroen Meijer; Jiří Srba; Yann Thierry-Mieg; Jaco Van de Pol; Karsten Wolf

doi:10.1007/978-3-662-58381-4_9

MCC'2017-The Seventh Model Checking Contest

Fabrice Kordon ¹ Hubert Garavel ^{2, 3} Lom Hillah ^{4, 1} Emmanuel Paviot-Adet ^{5, 1, 6} Loïg Jezequel ⁷ Francis Hulin-Hubard ⁸ Elvio Amparore ⁹ Marco Beccuti ⁹ Bernard Berthomieu ¹⁰ Hugues Evrard ¹¹ Peter Jensen ¹² Didier Le Botlan ¹⁰ Torsten Liebke ¹³ Jeroen Meijer ¹⁴ Jiří Srba ^{12, 15} Yann Thierry-Mieg ¹ Jaco Van de Pol ¹⁴ Karsten Wolf ¹³

1 MoVe - Modélisation et Vérification

LIP6 - Laboratoire d'Informatique de Paris 6

2 CONVECS - Construction of verified concurrent systems

Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble

3 Universität des Saarlandes [Saarbrücken]

4 UPN - Université Paris Nanterre

5 UPD5 - Université Paris Descartes - Paris 5

6 LIP6 - Laboratoire d'Informatique de Paris 6

7 LS2N - Laboratoire des Sciences du Numérique de Nantes

8 MEXICO - Modeling and Exploitation of Interaction and Concurrency

LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643

9 UNITO - Università degli studi di Torino

10 LAAS-VERTICS - Équipe Verification de Systèmes Temporisés Critiques

LAAS - Laboratoire d'analyse et d'architecture des systèmes [Toulouse]

11 Imperial College London

12 Department of Computer Science [Aalborg]

13 Institut für Informatik [Rostock]

14 University of Twente [Netherlands]

15 Faculty of Informatics [Brno]

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.

Document type :

Journal articles

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〉

Domain :

Computer Science [cs]

Computer Science [cs] / Distributed, Parallel, and Cluster Computing [cs.DC]

Computer Science [cs] / Data Structures and Algorithms [cs.DS]

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 : Thursday, February 7, 2019 - 4:57:54 PM
Document(s) archivé(s) le : Thursday, February 14, 2019 - 12:56:42 PM

ToPNoC-mcc2017.pdf

Files produced by the author(s)

MCC'2017-The Seventh Model Checking Contest

File

Identifiers

Collections

Citation

Export

Metrics

247

75

Contact

MCC'2017-The Seventh Model Checking Contest

File

Identifiers

Collections

Citation

Export

Share

Metrics

247

75

Contact