PRISM 4.0: Verification of Probabilistic Real-Time Systems
No abstract available.
Related papers
- PRISM: A Tool for Automatic Verification of Probabilistic Systems TACAS 2006
- PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time CAV 2020
- Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach TACAS 2002
- Advances in Symbolic Probabilistic Model Checking with PRISM TACAS 2016
- A Storm is Coming: A Modern Probabilistic Model Checker CAV 2017
- Rabinizer 4: From LTL to Your Favourite Deterministic Automaton CAV 2018
- AKR: A Model Checker for an Adaptative Probabilistic Knowing-How Logic TACAS 2026
- Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM CAV 2001