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

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

Dates and versions

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

Identifiers

  • HAL Id : hal-01406518 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More