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
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
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 <>
Submitted on : Tuesday, October 25, 2016 - 3:12:33 PM
Last modification on : Thursday, January 7, 2021 - 4:11:51 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

560

Files downloads

350