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 939 topics
P>=x [F<=5 AP1 U AP2 ] Terry Zhou 9/29/16
expression a = (x1=x2?1:0) ?? Momtez Benmbarek 9/26/16
Experiment SPRT not re-using previous simulation result Junho Kim 9/9/16
Multiple PhD positions at the University of Virginia in US (prior knowledge in PRISM is strongly beneficial) Lu Feng 9/6/16
issues regarding loading of large models in Prism Prasenjit Biswas 8/31/16
Questions about exportadv Jin Ge 8/31/16
Verifying properties under strategy from command line? Javier Cámara 8/30/16
Maximum value of a variable in PRISM Muhammad Usama Sardar 8/26/16
hi all, I am newbie Tùng La 8/26/16
simpath doesn't work when the model is imported via .tra file Jin Ge 8/24/16
Verification of properties is taking too much time rishi mathur 8/23/16
complexity of algorithm 8/6/16
Running PRISM Pre-processor on linux Muhammad Usama Sardar 7/31/16
Kerberos Protocol via PRISM Seyed Mohammad Mehdi Ahmadpanah 7/31/16
Specification of properties of the form P1 implies P2 Muhammad Usama Sardar 7/30/16
Graphical tools for PRISM code generation 7/23/16
computing transitional probability from Data Somnath 7/19/16
Max. cuddmaxem and javamaxem Muhammad Usama Sardar 7/15/16
Statistical model checking error 7/14/16
Saving a simulation run Muhammad Usama Sardar 7/8/16
More topics »