Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [42 references]  Display  Hide  Download

https://hal.inria.fr/hal-01406537
Contributor : Nisrine Jafri <>
Submitted on : Thursday, December 1, 2016 - 12:01:55 PM
Last modification on : Thursday, January 7, 2021 - 4:26:55 PM
Long-term archiving on: : Tuesday, March 21, 2017 - 5:30:16 AM

File

c162.pdf
Files produced by the author(s)

Identifiers

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, ⟨10.1007/978-3-319-47169-3_62⟩. ⟨hal-01406537⟩

Share

Metrics

Record views

358

Files downloads

625