On the Power of Statistical Model Checking

Kim Guldstrand Larsen; Axel Legay

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

Conference Papers Year : 2016

On the Power of Statistical Model Checking

(1) , (2)

1
2

Kim Guldstrand Larsen

Function : Author
PersonId : 996530

Center for Indlejrede Software Systemer

Axel Legay

Function : Author

Threat Analysis and Mitigation for Information Security

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.

Domains

Computer Science [cs]

Fichier principal

c162.pdf (895.63 Ko)

Origin : Files produced by the author(s)

Nisrine JAFRI : Connect in order to contact the contributor

https://inria.hal.science/hal-01406537

Submitted on : Thursday, December 1, 2016-12:01:55 PM

Last modification on : Friday, March 24, 2023-2:53:03 PM

Long-term archiving on: Tuesday, March 21, 2017-5:30:16 AM

Dates and versions

hal-01406537 , version 1 (01-12-2016)

Identifiers

HAL Id : hal-01406537 , version 1
DOI : 10.1007/978-3-319-47169-3_62

Cite

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 XML-TEI Dublin Core DC Terms EndNote DataCite

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

186 View

495 Download

On the Power of Statistical Model Checking

Abstract

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share