Rare Events for Statistical Model Checking: An Overview
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.
Origin : Files produced by the author(s)
Loading...