A Platform for High Performance Statistical Model Checking – PLASMA

Cyrille Jegourel 1 Axel Legay 1 Sean Sedwards 1
1 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : Statistical model checking offers the potential to decide and quantify dynamical properties of models with intractably large state space, opening up the possibility to verify the performance of complex real-world systems. Rare properties and long simulations pose a challenge to this approach, so here we present a fast and compact statistical model checking platform, PLASMA, that incorporates an efficient simulation engine and uses importance sampling to reduce the number and length of simulations when properties are rare. For increased flexibility and ef-ficiency PLASMA compiles both model and property into bytecode that is executed on an in-built memory-efficient virtual machine.
Type de document :
Communication dans un congrès
Cormac Flanagan; Barbara König. TACAS 2012 - 18th International Conference Tools and Algorithms for the Construction and Analysis of Systems, Mar 2012, Tallinn, Estonia. Springer, 7214, pp.498 - 503, 2012, LNCS - Lecture Notes in Computer Science. 〈10.1007/978-3-642-28756-5_37〉
Liste complète des métadonnées

Littérature citée [9 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01087824
Contributeur : Cyrille Jegourel <>
Soumis le : mercredi 26 novembre 2014 - 17:21:34
Dernière modification le : mercredi 16 mai 2018 - 11:24:07
Document(s) archivé(s) le : vendredi 27 février 2015 - 12:45:42

Fichier

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

Identifiants

Collections

INRIA | INSMI | IRISA | IRISA-D4 | UR1-UFR-ISTIC | UNIV-RENNES

Citation

Cyrille Jegourel, Axel Legay, Sean Sedwards. A Platform for High Performance Statistical Model Checking – PLASMA. Cormac Flanagan; Barbara König. TACAS 2012 - 18th International Conference Tools and Algorithms for the Construction and Analysis of Systems, Mar 2012, Tallinn, Estonia. Springer, 7214, pp.498 - 503, 2012, LNCS - Lecture Notes in Computer Science. 〈10.1007/978-3-642-28756-5_37〉. 〈hal-01087824〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

330

Téléchargements de fichiers

107

Contact


archive-ouverte@inria.fr