Rare Events for Statistical Model Checking: An Overview
(2016) Reachability Problems (19.September.2016)
Files
No attached file found for this publication.
Details
- Authors
- 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.
- Affiliations
Citations
Legay, A., Sedwards, S., & Traonouez, L.-M. (2016). Rare Events for Statistical Model Checking: An Overview. Reachability Problems. https://hdl.handle.net/2078.5/227477