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

On the Power of Statistical Model Checking


This paper contains material for our tutorial presented at STRESS 2016. This includes an introduction to Statistical Model Checking algorithms and their rare event extensions, as well as an introduction to two well-known SMC tools: Plasma and Uppaal.
Fichier principal
Vignette du fichier
c162.pdf (895.63 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01406537 , version 1 (01-12-2016)



Kim Guldstrand Larsen, Axel Legay. On the Power of Statistical Model Checking. 7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece. pp.843 - 862, ⟨10.1007/978-3-319-47169-3_62⟩. ⟨hal-01406537⟩
186 View
495 Download



Gmail Mastodon Facebook X LinkedIn More