A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning

Conférence Chapitre d'actes A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning eng 2018 author Buchs Didier 22665 author Klikovits Stefan 816462 author Linard Alban 706511 author Mencattini Romain 779395 author Racordon Dimitri 0000-0003-0299-3993 748253 10.1007/978-3-319-91268-4_21 9783319912677 http://link.springer.com/10.1007/978-3-319-91268-4_21 This paper introduces mcc4mcc, the Model Checker Collection for the Model Checking Contest, a tool that wraps multiple model checking solutions, and applies the most appropriate one based on the characteristics of the model it is given. It leverages machine learning algorithms to carry out this selection, based on the results gathered from the 2017 edition of the Model Checking Contest, an annual event in which multiple tools compete to verify different properties on a large variety of models. Our approach brings two important contributions. First, our tool offers the opportunity to further investigate on the relation between model characteristics and verification techniques. Second, it lays out the groundwork for a unified way to distribute model checking software using virtual containers. Dewey 025.063 Cham Springer International Publishing Swiss National Science Foundation FNRS STRATOS CH Autre COST IC1404: MPM4CPS 13 Centre universitaire d'informatique 0D3 32 Département d'informatique 18 false 727 Software Modeling and Verification 39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018 24-29 June 2018 Bratislava (Slovakia) 7595c292-fc68-4de6-801e-20b94cde36e5 Proceedings chapter (Accepted version) Public 2018Buchs_Model_Checker_Collection.pdf 254550 application/pdf openAccess Centres et instituts / Centre universitaire d'informatique Faculté des sciences / Département d'informatique

Title	Published in	Access level	OA Policy	Year	Views	Downloads

A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning	39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018			2018	342	366

Archive ouverte UNIGE

Mencattini, Romain