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 997 topics
prism installation error meesage 9/22/17
about costs calculation in DTMC with rewards Terry Zhou 9/22/17
prism games 8/27/17
rest of euclidean division with prism Fatma Gara 8/27/17
Problem running Prism (source version) Meer 8/24/17
In need of Prism 3.3.1 8/16/17
Hybrid Model (MDP + DTMC) : Markov Automota (MAs) Mohamed Ibrahim 8/9/17
PRISM 4.4 d.a.parker 7/26/17
Erlang distribution accurancy Mark 7/24/17
different probabilistic distributions 7/14/17
Can't verify models with PRISM Sara Himmiche 7/11/17
handoff call dropping probability 7/11/17
Issue with Reward based properties and clarification of terms. 6/5/17
Probabilistic distributions in PRISM Sara Himmiche 5/24/17
prism games 5/23/17
PRISM-games -> Error: Computation not implemented yet when verifying Pmax=? [ F ( stateprop &(X stateprop2)) ] Sotiris Gyftopoulos 5/19/17
Timelock on PRISM Sara Himmiche 5/18/17
Problem using parametric PRISM on MDPs Shalini Ghosh 5/16/17
1000 CTMCs matrices Samiah Alzahrani 5/12/17
Error: Invalid upper bound <0.0 in time-bounded until formula. Fatma Gara 5/11/17
More topics »