A Statistical Model Checker for Nondeterminism and Rare Events
No abstract available.
Related papers
- FIG: The Finite Improbability Generator TACAS 2020
- Stateless model checking of event-driven applications OOPSLA 2015
- Importance Splitting for Statistical Model Checking Rare Properties CAV 2013
- Ymer: A Statistical Model Checker CAV 2005
- STMC: Statistical Model Checker with Stratified and Antithetic Sampling CAV 2020
- Replicating sc Restart with Prolonged Retrials: An Experimental Report TACAS 2021
- Rare Event Simulation for Non-Markovian Repairable Fault Trees TACAS 2020
- Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking CAV 2012