STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking
No abstract available.
Related papers
- STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis CAV 2019
- Unbounded-Time Safety Verification of Stochastic Differential Dynamics CAV 2020
- \mathsf StocHy : Automated Verification and Synthesis of Stochastic Processes TACAS 2019
- Eager Abstraction for Symbolic Model Checking CAV 2018
- Quantitative Supermartingale Certificates CAV 2025
- Stochastic Omega-Regular Verification and Control with Supermartingales CAV 2024
- Image Computation in Infinite State Model Checking CAV 2004
- Selfless Interpolation for Infinite-State Model Checking VMCAI 2018