On the Power of Statistical Model Checking

Larsen, Kim Guldstrand
Legay, Axel

Open PDF

Open link

Publication date

October 2016

DOI

10.1007/978-3-319-47169-3_62

Publisher

Springer Science and Business Media LLC

Abstract

International audienceThis 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

Extracted data

We use cookies to provide a better user experience.

Data Protection

On the Power of Statistical Model Checking

Abstract

Extracted data

On the Power of Statistical Model Checking

Abstract

Extracted data

Related items

Related items