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.
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

LegaySedwards2014.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01088859, version 1

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⟩

Share

Metrics

Record views

616

Files downloads

382