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

On Statistical Model Checking with PLASMA

Abstract

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

Dates and versions

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

Identifiers

  • HAL Id : hal-01088859 , version 1

Cite

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⟩
328 View
278 Download

Share

Gmail Facebook X LinkedIn More