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 1034 topics
long-run average in Prism-games Shibashis 3/13/18
aide Houria Mansouria 3/10/18
POMDP strategy extraction 3/8/18
Prism on OpenJDK 64-Bit Server crashes 3/8/18
Question about underlying BDD packages / minimal cut sets Mike Whalen 3/6/18
Strategy synthesis to minimize expected mean-payoff in MDP Shibashis 3/4/18
A case for allowing modification of global variables by certain types of synchronized actions 2/22/18
hello ,,, 2/13/18
How to get the optimal strategy in adversary? 1/29/18
Error "command sum to zero" with not activated transition 1/16/18
partially observable MDPs in PRISM 1/16/18
how to designate a particular initial state for a model? 1/11/18
Pi2Prism = probabilistic pi-calculus to PRISM models 12/15/17
Translating the probabilistic π -calculus to PRISM 12/15/17
cannot use multi-objective model checking with maximizing objectives 12/10/17
Error for temp file when opening files 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? 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. 11/22/17
More topics »