Advances in Symbolic Probabilistic Model Checking with PRISM
No abstract available.
Related papers
- Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach TACAS 2002
- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference CAV 2021
- AKR: A Model Checker for an Adaptative Probabilistic Knowing-How Logic TACAS 2026
- A Storm is Coming: A Modern Probabilistic Model Checker CAV 2017
- PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time CAV 2020
- Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis CAV 2013
- Advances in Probabilistic Model Checking VMCAI 2010
- PRISM 4.0: Verification of Probabilistic Real-Time Systems CAV 2011