On the Power of Statistical Model Checking
Résumé
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.
Domaines
Informatique [cs]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...