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 1042 topics
creating functions Paulius Stankaitis 5/16/18
range of variable Bluess 5/4/18
PRISM Preprocessed Types 5/4/18
how to implement protocol leap in prime.? 4/22/18
leap 4/22/18
Can i find the label on the transitions? Burton Lu 4/11/18
Problem running PRISM 3/30/18
Using exact model checking in PRISM with very small probabilities Arpan 3/22/18
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
More topics »