MCC'2017 - The Seventh Model Checking Contest

Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Gilberto Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter Gjøl Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

1 Citation (Scopus)

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.
Original languageEnglish
Title of host publicationTransactions on Petri Nets and Other Models of Concurrency XIII
EditorsMaciej Koutny, Lars Michael Kristensen, Wojciech Penczek
Pages181-209
Number of pages29
ISBN (Electronic)978-3-662-58381-4
DOIs
Publication statusPublished - 21 Nov 2018

Publication series

NameLecture notes in computer science
Volume11090

Fingerprint

Model checking
Petri nets

Keywords

  • Model Checking Contest
  • Petri Nets
  • LTSmin

Cite this

Kordon, F., Garavel, H., Hillah, L-M., Paviot-Adet, E., Jezequel, L., Hulin-Hubard, F., ... Wolf, K. (2018). MCC'2017 - The Seventh Model Checking Contest. In M. Koutny, L. M. Kristensen, & W. Penczek (Eds.), Transactions on Petri Nets and Other Models of Concurrency XIII (pp. 181-209). (Lecture notes in computer science; Vol. 11090). https://doi.org/10.1007/978-3-662-58381-4_9
Kordon, Fabrice ; Garavel, Hubert ; Hillah, Lom-Messan ; Paviot-Adet, Emmanuel ; Jezequel, Loïg ; Hulin-Hubard, Francis ; Amparore, Elvio Gilberto ; Beccuti, Marco ; Berthomieu, Bernard ; Evrard, Hugues ; Jensen, Peter Gjøl ; Botlan, Didier Le ; Liebke, Torsten ; Meijer, Jeroen ; Srba, Jirí ; Thierry-Mieg, Yann ; Pol, Jaco van de ; Wolf, Karsten. / MCC'2017 - The Seventh Model Checking Contest. Transactions on Petri Nets and Other Models of Concurrency XIII. editor / Maciej Koutny ; Lars Michael Kristensen ; Wojciech Penczek. 2018. pp. 181-209 (Lecture notes in computer science).
@inbook{ba17030e003a4e3b9bea553baf3bf0c1,
title = "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.",
keywords = "Model Checking Contest, Petri Nets, LTSmin",
author = "Fabrice Kordon and Hubert Garavel and Lom-Messan Hillah and Emmanuel Paviot-Adet and Lo{\"i}g Jezequel and Francis Hulin-Hubard and Amparore, {Elvio Gilberto} and Marco Beccuti and Bernard Berthomieu and Hugues Evrard and Jensen, {Peter Gj{\o}l} and Botlan, {Didier Le} and Torsten Liebke and Jeroen Meijer and Jir{\'i} Srba and Yann Thierry-Mieg and Pol, {Jaco van de} and Karsten Wolf",
note = "Available as LNCS volume 11090",
year = "2018",
month = "11",
day = "21",
doi = "10.1007/978-3-662-58381-4_9",
language = "English",
isbn = "978-3-662-58380-7",
series = "Lecture notes in computer science",
pages = "181--209",
editor = "Maciej Koutny and Kristensen, {Lars Michael} and Wojciech Penczek",
booktitle = "Transactions on Petri Nets and Other Models of Concurrency XIII",

}

Kordon, F, Garavel, H, Hillah, L-M, Paviot-Adet, E, Jezequel, L, Hulin-Hubard, F, Amparore, EG, Beccuti, M, Berthomieu, B, Evrard, H, Jensen, PG, Botlan, DL, Liebke, T, Meijer, J, Srba, J, Thierry-Mieg, Y, Pol, JVD & Wolf, K 2018, MCC'2017 - The Seventh Model Checking Contest. in M Koutny, LM Kristensen & W Penczek (eds), Transactions on Petri Nets and Other Models of Concurrency XIII. Lecture notes in computer science, vol. 11090, pp. 181-209. https://doi.org/10.1007/978-3-662-58381-4_9

MCC'2017 - The Seventh Model Checking Contest. / Kordon, Fabrice; Garavel, Hubert; Hillah, Lom-Messan; Paviot-Adet, Emmanuel; Jezequel, Loïg; Hulin-Hubard, Francis; Amparore, Elvio Gilberto; Beccuti, Marco; Berthomieu, Bernard; Evrard, Hugues; Jensen, Peter Gjøl; Botlan, Didier Le; Liebke, Torsten; Meijer, Jeroen; Srba, Jirí; Thierry-Mieg, Yann; Pol, Jaco van de; Wolf, Karsten.

Transactions on Petri Nets and Other Models of Concurrency XIII. ed. / Maciej Koutny; Lars Michael Kristensen; Wojciech Penczek. 2018. p. 181-209 (Lecture notes in computer science; Vol. 11090).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

TY - CHAP

T1 - MCC'2017 - The Seventh Model Checking Contest

AU - Kordon, Fabrice

AU - Garavel, Hubert

AU - Hillah, Lom-Messan

AU - Paviot-Adet, Emmanuel

AU - Jezequel, Loïg

AU - Hulin-Hubard, Francis

AU - Amparore, Elvio Gilberto

AU - Beccuti, Marco

AU - Berthomieu, Bernard

AU - Evrard, Hugues

AU - Jensen, Peter Gjøl

AU - Botlan, Didier Le

AU - Liebke, Torsten

AU - Meijer, Jeroen

AU - Srba, Jirí

AU - Thierry-Mieg, Yann

AU - Pol, Jaco van de

AU - Wolf, Karsten

N1 - Available as LNCS volume 11090

PY - 2018/11/21

Y1 - 2018/11/21

N2 - 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.

AB - 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.

KW - Model Checking Contest

KW - Petri Nets

KW - LTSmin

U2 - 10.1007/978-3-662-58381-4_9

DO - 10.1007/978-3-662-58381-4_9

M3 - Chapter

SN - 978-3-662-58380-7

T3 - Lecture notes in computer science

SP - 181

EP - 209

BT - Transactions on Petri Nets and Other Models of Concurrency XIII

A2 - Koutny, Maciej

A2 - Kristensen, Lars Michael

A2 - Penczek, Wojciech

ER -

Kordon F, Garavel H, Hillah L-M, Paviot-Adet E, Jezequel L, Hulin-Hubard F et al. MCC'2017 - The Seventh Model Checking Contest. In Koutny M, Kristensen LM, Penczek W, editors, Transactions on Petri Nets and Other Models of Concurrency XIII. 2018. p. 181-209. (Lecture notes in computer science). https://doi.org/10.1007/978-3-662-58381-4_9