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-18 of 841 topics
Conditional Probabilities Vs Multi-Objective Properties Anitha Murugesan 10/3/15
Is Prism able to check CTL property with providing counter examples? Terry Zhou 9/29/15
Prism-games command line option for exporting strategy Artur Rataj 9/10/15
Timed Automaton to Probabilistic Timed Automaton Anitha Murugesan 9/9/15
Simulator Speed Mehmet Emin BAKIR 8/28/15
Executing simulator many times and outputting all traces at the end. Mehmet Emin BAKIR 8/24/15
Question about Modelling a synchronous system with large number of nodes using DTMC Negin 8/14/15
Preprocessor on Windows Shafaq Iqtedar 8/13/15
Different number of rows in states.tra and adv.tra Ashutosh Pandey 8/11/15
Re: [prism] loadPRISMModel returns NullPointerException Dave Parker 8/9/15
Re: [prism] "java.lang.UnsatisfiedLinkError: no prism in java.library.path" when running PRISM programmatically Dave Parker 8/9/15
Warning: Disabling Prob1 since this is needed for adversary generation yinhao 8/9/15
java.lang.StackOverflowError during Model Parsing nixbg 8/8/15
java.lang.UnsatisfiedLinkError: ..\jdd.dll: Can't find dependent libraries John Smith 8/8/15
Assign time for the DTMC commands Guilherme Arruda 7/28/15
PRISM binary initialization time Théis Bazin 7/15/15
PRISM 4.3 Dave Parker 7/14/15
Problem with multiple conjunction (operator &) 7/9/15
More topics »