Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

On the Power of Statistical Model Checking

Kim Guldstrand Larsen 1 Axel Legay 2 
1 CISS - Center for Indlejrede Software Systemer
2 TAMIS - Threat Analysis and Mitigation for Information Security
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
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 Connect in order to contact the contributor
Submitted on : Thursday, December 1, 2016 - 12:01:55 PM
Last modification on : Monday, June 27, 2022 - 3:04:19 AM
Long-term archiving on: : Tuesday, March 21, 2017 - 5:30:16 AM

File

Vignette du document
c162.pdf
Files produced by the author(s)

Identifiers

Collections

INSTITUT-TELECOM | UNIV-RENNES1 | CNRS | INRIA | INSA-RENNES | IRISA | CENTRALESUPELEC | IRISA-D4 | INRIA2 | UR1-MATH-STIC | UR1-UFR-ISTIC | UNIV-RENNES | UR1-MATH-NUM

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

180

Files downloads

400

 

Contact                    Legal Notice                    Personal Data