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.
Type de document :
Communication dans un congrès
Reachability Problems, Sep 2016, Aalborg, Denmark. 9899, pp.23 - 35, 2016
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01387406
Contributeur : Sean Sedwards <>
Soumis le : mardi 25 octobre 2016 - 15:12:33
Dernière modification le : mardi 16 janvier 2018 - 15:54:26

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. 9899, pp.23 - 35, 2016. 〈hal-01387406〉

Partager

Métriques

Consultations de la notice

285

Téléchargements de fichiers

85