Rare Events for Statistical Model Checking: An Overview
Résumé
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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...