MCC’2017 - The Seventh Model Checking Contest - Concurrence et distribué
Proceedings/Recueil Des Communications LNCS Transactions on Petri Nets and Other Models of Concurrency Année : 2018

MCC’2017 - The Seventh Model Checking Contest

Fabrice Kordon
Modélisation et Vérification
CV
Hubert Garavel
Construction of verified concurrent systems
Universität des Saarlandes [Saarbrücken] = Saarland University [Saarbrücken]
Lom Hillah
Université Paris Nanterre
Modélisation et Vérification
Emmanuel Paviot-Adet
  • Fonction : Auteur
  • PersonId : 971651
Université Paris Descartes - Paris 5
Modélisation et Vérification
Loïg Jezequel
Laboratoire des Sciences du Numérique de Nantes
Francis Hulin-Hubard
  • Fonction : Auteur
Modeling and Exploitation of Interaction and Concurrency
Elvio Amparore
  • Fonction : Auteur
  • PersonId : 944022
Università degli studi di Torino = University of Turin
Marco Beccuti
  • Fonction : Auteur
Università degli studi di Torino = University of Turin
Bernard Berthomieu
Équipe Verification de Systèmes Temporisés Critiques
Hugues Evrard
  • Fonction : Auteur
  • PersonId : 961729
Imperial College London
Peter Gjøl Jensen
  • Fonction : Auteur
Department of Computer Science [Aalborg]
Didier Le Botlan
Équipe Verification de Systèmes Temporisés Critiques
Torsten Liebke
  • Fonction : Auteur
Institut für Informatik [Rostock]
Jeroen Meijer
  • Fonction : Auteur
University of Twente
Jiří Srba
  • Fonction : Auteur
  • PersonId : 961870
Department of Computer Science [Aalborg]
Faculty of Informatics [Brno]
Yann Thierry-Mieg
Modélisation et Vérification
Jaco van de Pol
University of Twente
Karsten Wolf
  • Fonction : Auteur
Institut für Informatik [Rostock]

Résumé

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.

Domaines

Informatique [cs] Calcul parallèle, distribué et partagé [cs.DC] Algorithme et structure de données [cs.DS]
Fichier principal
Vignette du fichier
ToPNoC-mcc2017.pdf (526.86 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Hubert Garavel  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01917492

Soumis le : mardi 13 novembre 2018-14:32:22

Dernière modification le : lundi 9 décembre 2024-03:36:32

Archivage à long terme le : jeudi 14 février 2019-12:56:42

Télécharger pour visualiser

Dates et versions

hal-01917492 , version 1 (13-11-2018)

Identifiants

Citer

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, 11090, pp.181-209, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-58381-4_9⟩. ⟨hal-01917492⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES UPMC UNIV-TLSE2 UGA CNRS INRIA ENS-CACHAN INSA-TOULOUSE EC-NANTES LAAS LIG LIG_MFML_CONVECS CONVECS UNAM LIP6 UT1-CAPITOLE LAAS-VERTICS LAAS-INFORMATIQUE-CRITIQUE INRIA2 USPC LS2N LS2N-STR UNIV-PARIS-SACLAY INSA-GROUPE SORBONNE-UNIVERSITE SU-SCIENCES INSA-TOULOUSE-GEI UNIV-PARIS-LUMIERES LAAS-RISC ENS-PARIS-SACLAY UNIV-PARIS-NANTERRE GS-COMPUTER-SCIENCE LMF LIG_SIDCH TOULOUSE-INP NANTES-UNIVERSITE UNIV-UT3 UT3-TOULOUSEINP
646 Consultations
619 Téléchargements

Altmetric

Partager

More