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-19 of 830 topics
PRISM binary initialization time Théis Bazin 7/3/15
Rewards Precision 6/30/15
PRISM cannot generate model using sparse engine Javier Cámara 6/26/15
Using Backwards Reachability Algorithm Pranav Ashok 6/1/15
Range definition 6/1/15
Digital clocks PTAs with statistical model checking? Andrew Donnellan 5/27/15
Prism-games command line option for exporting strategy Artur Rataj 5/24/15
Runtime error Rima 5/23/15
Postdoc position in multi-objective stochastic verification Vojtech Forejt 5/23/15
Pmin = -infinity 4/19/15
Expess property in PRISM(PCTL) Anuroop Kuppam 4/14/15
Previous versions of PRISM Anuroop Kuppam 4/12/15
CTMC: Filter (avg, max, min). Valdivino Santiago 4/10/15
"ERROR:Probabilities sum to less than one,strengthen guard" while analysing a very simple model for Bell States. Anuroop Kuppam 4/10/15
prism.bat in Windowes 64-bit Mahdieh Ahmadi 4/10/15
SCC-Based PRISM 4/8/15
CTMC, 'StackOverflow' Yingke Chen 4/5/15
How to use SCC based approach in PRISM. 4/3/15
Is Time Cumulative? Valdivino Santiago 3/29/15
More topics »