Statistical Model Checking: Past, Present, and Future - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2014

Statistical Model Checking: Past, Present, and Future


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.
Fichier principal
Vignette du fichier
c167.pdf (239.76 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01406518 , version 1 (01-12-2016)


  • 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⟩
301 View
688 Download


Gmail Facebook X LinkedIn More