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.
https://hal.inria.fr/hal-01406537
Contributeur : Nisrine Jafri
<>
Soumis le : jeudi 1 décembre 2016 - 12:01:55
Dernière modification le : vendredi 11 janvier 2019 - 13:53:27
Document(s) archivé(s) le : mardi 21 mars 2017 - 05:30:16
Kim Guldstrand Larsen, Axel Legay. On the Power of Statistical Model Checking. 7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece. pp.843 - 862, 2016, 〈10.1007/978-3-319-47169-3_62〉. 〈hal-01406537〉
