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 984 topics
Probabilistic distributions in PRISM Sara Himmiche 6:55 AM
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
Increasing the size of log Muhammad Usama Sardar 4/20/17
API documentation Niccolò Bellaccini 4/17/17
PTA Sara Himmiche 4/4/17
Cannot Build or Simulate a PTA model Sara Himmiche 3/27/17
Generating adversary for multi-objective property of MDP 3/27/17
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
More topics »