PRISM: A Tool for Automatic Verification of Probabilistic Systems
No abstract available.
Related papers
- PRISM 4.0: Verification of Probabilistic Real-Time Systems CAV 2011
- AKR: A Model Checker for an Adaptative Probabilistic Knowing-How Logic TACAS 2026
- Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach TACAS 2002
- Advances in Symbolic Probabilistic Model Checking with PRISM TACAS 2016
- PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time CAV 2020
- Rabinizer 4: From LTL to Your Favourite Deterministic Automaton CAV 2018
- Bridging the semantic gap between qualitative and quantitative models of distributed systems OOPSLA 2022
- Enhancing APR with PRISM: A Semantic-Based Approach to Overfitting Patch Detection OOPSLA 2025