Skip to Main content Skip to Navigation
Conference papers

Rare Events for Statistical Model Checking: An Overview

Axel Legay 1 Sean Sedwards 1 Louis-Marie Traonouez 1 
1 TAMIS - Threat Analysis and Mitigation for Information Security
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : This invited paper surveys several simulation-based approaches to compute the probability of rare bugs in complex systems. The paper also describes how those techniques can be implemented in the professional toolset Plasma.
Complete list of metadata

Cited literature [26 references]  Display  Hide  Download

https://hal.inria.fr/hal-01387406
Contributor : Sean Sedwards Connect in order to contact the contributor
Submitted on : Tuesday, October 25, 2016 - 3:12:33 PM
Last modification on : Saturday, June 25, 2022 - 8:29:37 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01387406, version 1

Citation

Axel Legay, Sean Sedwards, Louis-Marie Traonouez. Rare Events for Statistical Model Checking: An Overview. Reachability Problems, Sep 2016, Aalborg, Denmark. pp.23 - 35. ⟨hal-01387406⟩

Share

Metrics

Record views

324

Files downloads

222