On Statistical Model Checking with PLASMA - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

On Statistical Model Checking with PLASMA


This paper surveys the main functionalities of the PLASMA statistical model checking platform developed at Inria.
Fichier principal
Vignette du fichier
LegaySedwards2014.pdf (156 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01088859 , version 1 (28-11-2014)


  • HAL Id : hal-01088859 , version 1


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⟩
320 View
261 Download


Gmail Facebook Twitter LinkedIn More