MCC’2017 - The Seventh Model Checking Contest - Archive ouverte HAL Access content directly
Proceedings LNCS Transactions on Petri Nets and Other Models of Concurrency Year : 2018

MCC’2017 - The Seventh Model Checking Contest

(1) , (2, 3) , (4, 1) , (5, 1) , (6) , (7) , (8) , (8) , (9) , (10) , (11) , (9) , (12) , (13) , (11, 14) , (1) , (13) , (12)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
Fabrice Kordon
Hugues Evrard
  • Function : Author
  • PersonId : 961729
Yann Thierry-Mieg
Jaco van de Pol

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.
Fichier principal
Vignette du fichier
ToPNoC-mcc2017.pdf (526.86 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
474 View
493 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More