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

T. Petri Nets and Other Models of Concurrency（2018）

引用 14|浏览138

暂无评分

摘要

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.

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要