MCC'2017 - The Seventh Model Checking Contest

• Authors: KORDON F.; GARAVEL H.; HILLAH L.-M.; PAVIOT-ADET E.; JEZEQUEL L.; HULIN-HUBARD F.; AMPARORE E.G.; BECCUTI M.; BERTOMIEU B.; EVRARD H.; JENSEN P.; LE BOTLAN D.; LIEBKE T.; MEIJER J.; SRBA Jiří; THIERRY-MIEG Y.; POL J. van de; WOLF K.
• Year of publication: 2018
• Type: Article in Proceedings
• Conference: Transactions on Petri Nets and Other Models of Concurrency XIII
• MU Faculty or unit: Faculty of Informatics
• Web: URL
• Doi: http://dx.doi.org/10.1007/978-3-662-58381-4_9
• Keywords: petri nets; model checking; tool competition
• Description: Created in 2011, the Model Checking Contest (MCC) is an annualcompetition dedicated to provide a fair evaluation of software tools thatverify concurrent systems using state-space exploration techniques andmodel checking. This article presents the principles and results of the2017 edition of the MCC, which took place along with the Petri Net andACSD joint conferences in Zaragoza, Spain.