INFAMY: An Infinite-State Markov Model Checker
No abstract available.
Related papers
- Model Checking Infinite-State Markov Chains TACAS 2005
- SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems TACAS 2010
- STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis CAV 2019
- Markov processes in Isabelle/HOL CPP 2017
- PARAM: A Model Checker for Parametric Markov Models CAV 2010
- A Markov Chain Model Checker TACAS 2000
- Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes CAV 2017
- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference CAV 2021