A Platform for High Performance Statistical Model Checking - PLASMA
Abstract elided by the publisher.
Related papers
- High-Level Optimization via Automated Statistical Modeling PPoPP 1995
- Combining phase identification and statistic modeling for automated parallel benchmark generation PPoPP 2015
- Faster Statistical Model Checking for Unbounded Temporal Properties TACAS 2016
- Shaking Up Quantum Simulators with Fuzzing and Rigour OOPSLA 2025
- StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs CAV 2025
- 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