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.
Type de document :
Communication dans un congrès
7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece. pp.843 - 862, 2016, 〈10.1007/978-3-319-47169-3_62〉
Liste complète des métadonnées

Littérature citée [42 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01406537
Contributeur : Nisrine Jafri <>
Soumis le : jeudi 1 décembre 2016 - 12:01:55
Dernière modification le : mercredi 16 mai 2018 - 11:24:11
Document(s) archivé(s) le : mardi 21 mars 2017 - 05:30:16

Fichier

c162.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

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〉

Partager

Métriques

Consultations de la notice

282

Téléchargements de fichiers

93