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.
Type de document :
Communication dans un congrès
6th International Symposium, ISoLA 2014, Oct 2014, Corfu, Greece
Liste complète des métadonnées

Littérature citée [30 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01406518
Contributeur : Nisrine Jafri <>
Soumis le : jeudi 1 décembre 2016 - 11:50:42
Dernière modification le : mercredi 16 mai 2018 - 11:24:11
Document(s) archivé(s) le : mardi 21 mars 2017 - 03:23:03

Fichier

c167.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01406518, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

328

Téléchargements de fichiers

192