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 16 mai 2018 - 11:24:07
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

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

547

Téléchargements de fichiers

173

Contact


archive-ouverte@inria.fr