MCC’2017: The Seventh Model Checking Contest

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

*Corresponding author

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

1 Citation (Scopus)
Original languageEnglish
Title of host publicationTransactions on Petri Nets and Other Models of Concurrency XIII
EditorsMaciej Koutny, Lars Michael Kristensen, Wojciech Penczek
Number of pages29
PublisherSpringer
Publication date1 Jan 2018
Pages181-209
ISBN (Print)978-3-662-58380-7
ISBN (Electronic)978-3-662-58381-4
DOIs
Publication statusPublished - 1 Jan 2018
SeriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11090 LNCS
ISSN0302-9743

Fingerprint

edition
Spain
evaluation
software

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). Springer. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol.. 11090 LNCS 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 ; Beccuti, Marco ; Berthomieu, Bernard ; Evrard, Hugues ; Jensen, Peter G. ; Le Botlan, Didier ; Liebke, Torsten ; Meijer, Jeroen ; Srba, Jiří ; Thierry-Mieg, Yann ; van de Pol, Jaco ; 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. Springer, 2018. pp. 181-209 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11090 LNCS).
@inbook{baf6054a96fd4512b8c814fe186e1bb4,
title = "MCC’2017: The Seventh Model Checking Contest",
author = "Fabrice Kordon and Hubert Garavel and Hillah, {Lom Messan} and Emmanuel Paviot-Adet and Lo{\"i}g Jezequel and Francis Hulin-Hubard and Elvio Amparore and Marco Beccuti and Bernard Berthomieu and Hugues Evrard and Jensen, {Peter G.} and {Le Botlan}, Didier and Torsten Liebke and Jeroen Meijer and Jiř{\'i} Srba and Yann Thierry-Mieg and {van de Pol}, Jaco and Karsten Wolf",
year = "2018",
month = "1",
day = "1",
doi = "10.1007/978-3-662-58381-4_9",
language = "English",
isbn = "978-3-662-58380-7",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "181--209",
editor = "Maciej Koutny and Kristensen, {Lars Michael} and Wojciech Penczek",
booktitle = "Transactions on Petri Nets and Other Models of Concurrency XIII",
address = "Germany",

}

Kordon, F, Garavel, H, Hillah, LM, Paviot-Adet, E, Jezequel, L, Hulin-Hubard, F, Amparore, E, Beccuti, M, Berthomieu, B, Evrard, H, Jensen, PG, Le Botlan, D, Liebke, T, Meijer, J, Srba, J, Thierry-Mieg, Y, van de Pol, J & 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. Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11090 LNCS, 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; Beccuti, Marco; Berthomieu, Bernard; Evrard, Hugues; Jensen, Peter G.; Le Botlan, Didier; Liebke, Torsten; Meijer, Jeroen; Srba, Jiří; Thierry-Mieg, Yann; van de Pol, Jaco; Wolf, Karsten.

Transactions on Petri Nets and Other Models of Concurrency XIII. ed. / Maciej Koutny; Lars Michael Kristensen; Wojciech Penczek. Springer, 2018. p. 181-209 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11090 LNCS).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

TY - CHAP

T1 - MCC’2017

T2 - 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

AU - Beccuti, Marco

AU - Berthomieu, Bernard

AU - Evrard, Hugues

AU - Jensen, Peter G.

AU - Le Botlan, Didier

AU - Liebke, Torsten

AU - Meijer, Jeroen

AU - Srba, Jiří

AU - Thierry-Mieg, Yann

AU - van de Pol, Jaco

AU - Wolf, Karsten

PY - 2018/1/1

Y1 - 2018/1/1

UR - http://www.scopus.com/inward/record.url?scp=85057201447&partnerID=8YFLogxK

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

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

M3 - Book chapter

SN - 978-3-662-58380-7

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

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

PB - Springer

ER -

Kordon F, Garavel H, Hillah LM, 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. Springer. 2018. p. 181-209. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11090 LNCS). https://doi.org/10.1007/978-3-662-58381-4_9