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 969 topics
Export adversary from a program in Java Niccolò Bellaccini 3/15/17
Checksums changed between 6-12-16 and 3-11-17 Steve K 3/11/17
Problem with result regeneration of Rubinstein Protocol UR 3/8/17
Rubinstein protocol UR 3/6/17
Initial state in exported states file Artur Rataj 3/1/17
DTMC model checking in case study. Yanmei.Wang13 2/24/17
Product DTMC + LTL property with transition probabilities greater than 1 2/23/17
Too low zero-reward loops Min Gao 2/13/17
basic project on model checking Vidyasagar Tandle 2/10/17
Prism run-time Error Mehran Alidoost Nia 2/3/17
Precision of smg Rmax=? Artur Rataj 1/25/17
Transition rewards and state rewards in command-line Ali Stu 1/24/17
Installation issue | 64bit Ubuntu 12/27/16
Installation issue on windows 64 12/17/16
PTA Question 12/8/16
CTMC synchronisation 12/7/16
Help Required Sohaiba Iqbal 12/7/16
AVG Probability Momtez Benmbarek 11/18/16
Parametric model checking P< result Artur Rataj 11/16/16
standard deviation Jorge Fernandez 11/5/16
More topics »