Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadata

Cited literature [33 references]  Display  Hide  Download
https://hal.inria.fr/hal-01088859
Contributor : Sean Sedwards <>
Submitted on : Friday, November 28, 2014 - 6:56:13 PM
Last modification on : Tuesday, March 23, 2021 - 9:54:02 AM
Long-term archiving on: : Friday, April 14, 2017 - 11:19:08 PM

File

Vignette du document
LegaySedwards2014.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01088859, version 1

Collections

INRIA | IRISA | CNRS | UNIV-RENNES1 | IRISA-D4 | UR1-UFR-ISTIC | UNIV-RENNES | INSTITUT-TELECOM | INSA-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. ⟨hal-01088859⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

616

Files downloads

382

 

Contact                    Legal Notice                    Personal Data