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

Abstract

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

Dates and versions

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

Identifiers

Cite

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

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More