PRISM model checker

This group is for questions, comments and discussions relating to the probabilistic model checker PRISM. Please check the FAQ and manual before posting questions. We also welcome more general questions and discussion about probabilistic model checking and related topics.

Developers working on PRISM or related tools should use the separate "PRISM model checker developers" forum, also on Google Groups.


Showing 1-20 of 1023 topics
Pi2Prism = probabilistic pi-calculus to PRISM models bensalah...@gmail.com 12/15/17
Translating the probabilistic π -calculus to PRISM bensalah...@gmail.com 12/15/17
partially observable MDPs in PRISM larbao...@gmail.com 12/12/17
cannot use multi-objective model checking with maximizing objectives kl...@vt.edu 12/10/17
Error for temp file when opening files dnshi...@gmail.com 12/6/17
Evaluation of an adversary Ashutosh Pandey 12/6/17
How to compute the avg resp time of an M/M/c/K queue? c.klo...@gmail.com 11/24/17
Negative reward Mark 11/23/17
Error: Constructing a strategy for Rmin in the presence of zero-reward ECs is currently not supported. kl...@vt.edu 11/22/17
Parameter Ordering and Experiments change Modelchecking results Sven Linker 11/20/17
Dipro tool zhengtin...@gmail.com 11/18/17
Error in running PRISM in OS64 slxi...@gmail.com 11/17/17
Is there support or any way to simulate constant sized array variables and uniformly distributed integer generation? kpjo...@illinois.edu 11/14/17
Cant Specify The Property On The Model , and Says Some Error Message .( BB84 Protocol) nepl...@gmail.com 11/14/17
steady-state probability maro...@gmail.com 11/5/17
In need of Prism 3.3.1 zwc...@gmail.com 10/27/17
Time for model checking maro...@gmail.com 10/23/17
about costs calculation in DTMC with rewards Terry Zhou 10/23/17
Verification of properties is taking too much time maro...@gmail.com 10/21/17
Optimal strategy extraction for maximum/minimum average reward/cost in irreducible MDP Sotiris Gyftopoulos 10/19/17
More topics »