A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning
ContributorsBuchs, Didier; Klikovits, Stefan; Linard, Alban; Mencattini, Romain; Racordon, Dimitri
Presented atBratislava (Slovakia), 24-29 June 2018
PublisherCham : Springer International Publishing
Publication date2018
Abstract
Affiliation entities
Research groups
Funding
- 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)
Identifiers
- PID : unige:129029
- DOI : 10.1007/978-3-319-91268-4_21
Additional URL for this publicationhttp://link.springer.com/10.1007/978-3-319-91268-4_21
ISBN9783319912677
