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 maro...@gmail.com 7/14/17
Can't verify models with PRISM Sara Himmiche 7/11/17
handoff call dropping probability maro...@gmail.com 7/11/17
rest of euclidean division with prism Fatma Gara 6/29/17
Issue with Reward based properties and clarification of terms. eise...@gmail.com 6/5/17
Probabilistic distributions in PRISM Sara Himmiche 5/24/17
prism games bougu...@gmail.com 5/23/17
prism games bougu...@gmail.com 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 bougu...@gmail.com 5/9/17
rewards bougu...@gmail.com 5/9/17
Using Incompletely Cooperative Game Theory in Wireless Sensor Networks bougu...@gmail.com 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 »