Ymer: A Statistical Model Checker
No abstract available.
Related papers
- A Statistical Model Checker for Nondeterminism and Rare Events TACAS 2018
- STMC: Statistical Model Checker with Stratified and Antithetic Sampling CAV 2020
- MoGym: Using Formal Models for Training and Verifying Decision-making Agents CAV 2022
- FIG: The Finite Improbability Generator TACAS 2020
- Bridging the semantic gap between qualitative and quantitative models of distributed systems OOPSLA 2022
- On Statistical Model Checking of Stochastic Systems CAV 2005
- Statistical Model Checking of Black-Box Probabilistic Systems CAV 2004
- Importance Splitting for Statistical Model Checking Rare Properties CAV 2013