On Statistical Model Checking with PLASMA

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 : This paper surveys the main functionalities of the PLASMA statistical model checking platform developed at Inria.
Keywords : Probability Simulation Statistical Model Check-ing Experiments Nondeterminism Lightweight Verification Markov Decision Process
Type de document :
Communication dans un congrès
The 8th International Symposium on Theoretical Aspects of Software Engineering, Sep 2014, Changsha, China. IEEE
Liste complète des métadonnées

Littérature citée [33 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01088859
Contributeur : Sean Sedwards <>
Soumis le : vendredi 28 novembre 2014 - 18:56:13
Dernière modification le : mercredi 11 avril 2018 - 02:00:52
Document(s) archivé(s) le : vendredi 14 avril 2017 - 23:19:08

Fichier

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

Identifiants

  • HAL Id : hal-01088859, version 1

Collections

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

Citation

Axel Legay, Sean Sedwards. On Statistical Model Checking with PLASMA. The 8th International Symposium on Theoretical Aspects of Software Engineering, Sep 2014, Changsha, China. IEEE. 〈hal-01088859〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

534

Téléchargements de fichiers

135

Contact


archive-ouverte@inria.fr