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 992 topics
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
rest of euclidean division with prism Fatma Gara 6/29/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 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
PRISM crashed when computing steady state probabilities Tan Duong 5/10/17
Using Incompletely Cooperative Game Theory in Wireless Sensor Networks1 5/9/17
rewards 5/9/17
Using Incompletely Cooperative Game Theory in Wireless Sensor Networks 5/8/17
DTMC model checking in case study. Yanmei.Wang13 5/3/17
Attempting to model an Asynchronous CA with multiple models Ronnie Garduño 4/24/17
More topics »