Proceedings chapter
Open access

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

Presented at Bratislava (Slovakia), 24-29 June 2018
PublisherCham : Springer International Publishing
Publication date2018

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.

  • Swiss National Science Foundation - FNRS STRATOS
  • Autre - COST IC1404: MPM4CPS
Citation (ISO format)
BUCHS, Didier et al. A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning. In: 39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018. Bratislava (Slovakia). Cham : Springer International Publishing, 2018. doi: 10.1007/978-3-319-91268-4_21
Main files (1)
Proceedings chapter (Accepted version)

Technical informations

Creation01/15/2020 5:19:00 PM
First validation01/15/2020 5:19:00 PM
Update time03/15/2023 6:46:36 PM
Status update03/15/2023 6:46:35 PM
Last indexation01/17/2024 8:48:14 AM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack