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 simon....@york.ac.uk 5/4/18
how to implement protocol leap in prime.? anbm...@gmail.com 4/22/18
leap anbm...@gmail.com 4/22/18
Can i find the label on the transitions? Burton Lu 4/11/18
Problem running PRISM my...@ece.utah.edu 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 sebastia...@gmail.com 3/8/18
Prism on OpenJDK 64-Bit Server crashes sebastia...@gmail.com 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 kpjo...@illinois.edu 2/22/18
hello ,,, husena...@gmail.com 2/13/18
How to get the optimal strategy in adversary? fanji...@gmail.com 1/29/18
Error "command sum to zero" with not activated transition koelblfro...@gmail.com 1/16/18
partially observable MDPs in PRISM larbao...@gmail.com 1/16/18
how to designate a particular initial state for a model? fanji...@gmail.com 1/11/18
More topics »