Skip to Main content Skip to Navigation
Conference papers

Statistical Model Checking: Past, Present, and Future

Kim Guldstrand Larsen 1 Axel Legay 2 
2 TAMIS - Threat Analysis and Mitigation for Information Security
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : Statistical Model Checking (SMC) is a compromise between verification and testing where executions of the systems are monitored until an algorithm from statistics can produce an estimate for the system to satisfy a given property. The objective of this introduction is to summarizes SMC as well as a series of challenges for which contributors at Isola propose a solution. Contributions include new SMC toolsets, new flexible SMC algorithms for larger classes of systems, and new applications.
Document type :
Conference papers
Complete list of metadata

Cited literature [30 references]  Display  Hide  Download
Contributor : Nisrine JAFRI Connect in order to contact the contributor
Submitted on : Thursday, December 1, 2016 - 11:50:42 AM
Last modification on : Monday, June 27, 2022 - 3:07:06 AM
Long-term archiving on: : Tuesday, March 21, 2017 - 3:23:03 AM


Files produced by the author(s)


  • HAL Id : hal-01406518, version 1


Kim Guldstrand Larsen, Axel Legay. Statistical Model Checking: Past, Present, and Future. 6th International Symposium, ISoLA 2014, Oct 2014, Corfu, Greece. ⟨hal-01406518⟩



Record views


Files downloads