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 958 topics
Installation issue on windows 64 12/5/16
Transition rewards and state rewards in command-line Ali Stu 11/28/16
Help Required Sohaiba Iqbal 11/23/16
CTMC synchronisation 11/21/16
AVG Probability Momtez Benmbarek 11/18/16
Parametric model checking P< result Artur Rataj 11/16/16
DTMC model checking in case study. Yanmei.Wang13 11/5/16
standard deviation Jorge Fernandez 11/5/16
Bluetooth Device discovery case study in PRISM Yanmei.Wang13 11/4/16
Experiments with average cost of success (based on rewards) Dariusz Kaminski 11/2/16
Bluetooth device discovery in PRISM Yanmei.Wang13 11/1/16
Questions about exportadv Jin Ge 11/1/16
Unavailable code of case study "Bluetooth Device Discovery" in PRISM Yanmei.Wang13 10/28/16
Question about the Bluetooth device discovery Stelios Georgoulas 10/27/16
Missed codes in case study "Bluetooth Device Discovery" Yanmei.Wang13 10/27/16
Runing PRISM from source code problem 10/27/16
HELP (Write description for Queueing Network) Momtez Benmbarek 10/24/16
PRISM command line rounding problem Rasha Faqeh 10/21/16
Test for times in PRISME Momtez Benmbarek 10/18/16
ERROR in Dynamic Power Management - IBM Disk Drive; Help me, Thanks! 10/10/16
More topics »