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 920 topics
All possible combinations 13mscs...@seecs.edu.pk 6/27/16
How do i start contributing towards PRISM ? TUHIN KHARE 6/24/16
DTMC Infinite reward Moon 6/23/16
Declaring constant inside a module hacha 6/16/16
F vs transitions Artur Rataj 6/14/16
randomized vs deterministic adversary gabrie...@gmail.com 6/12/16
NSIS_Error for download of Windows 64 bit installer v3.4.1 Steve K 6/12/16
Out of memory exception in explicit engine sade...@gmail.com 6/12/16
Patch to remove GUIPropertyResultDialog in xprism Matthias Güdemann 6/11/16
modeling problem sijia1...@gmail.com 6/7/16
Centrality Hamaad Rafique 6/1/16
Inconsistent verification results--possible bug gabrie...@gmail.com 5/30/16
New format of adversary in prism-games Artur Rataj 5/27/16
Running PRISM on Mac OS X 10.11 El Capitan Paolo Izzo 5/27/16
Filters in PRISM Moon 5/25/16
Dynamic Power Management andrea.t...@studenti.unicam.it 5/24/16
Dynamic Power Management - IBM Disk Drive andrea.t...@studenti.unicam.it 5/24/16
Generating adversary for multi-objective property of MDP ssuk...@gmail.com 5/21/16
Help required regarding modeling in PRISM Sohaiba Iqbal 5/18/16
Getting the max or min multiple values by functions Hamaad Rafique 5/15/16
More topics »