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.
Cite
CITATION STYLE
APA
Larsen, K. G., & Legay, A. (2016). On the power of statistical model checking. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9953 LNCS, pp. 843–862). Springer Verlag. https://doi.org/10.1007/978-3-319-47169-3_62
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free