Statistical Model Checking: Past, Present, and Future - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Statistical Model Checking: Past, Present, and Future

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01406518 , version 1

Citer

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

Partager

Gmail Mastodon Facebook X LinkedIn More