| HAL-Inria | Publications, software ... of Inria's scientists |
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.
Cited literature [42 references]
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
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)