PARAM: A Model Checker for Parametric Markov Models
Abstract elided by the publisher.
Related papers
- A Markov Chain Model Checker TACAS 2000
- INFAMY: An Infinite-State Markov Model Checker CAV 2009
- Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes CAV 2017
- Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches TACAS 2009
- Efficient Sensitivity Analysis for Parametric Robust Markov Chains CAV 2023
- QReach: A Reachability Analysis Tool for Quantum Markov Chains CAV 2024
- A Storm is Coming: A Modern Probabilistic Model Checker CAV 2017
- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference CAV 2021