www.prismmodelchecker.org

MOVEP'14: Probabilistic Real-time Systems

Here are some resources for the "Probabilistic Real-time Systems" session at MOVEP'14, given by Dave Parker:

  • The slides for the lecture.

  • A reference list for papers on probabilistic model checking, as cited in the lecture slides.

And here is some useful background reading:

  • This tutorial paper on probabilistic model checking of PTAs.

  • This tutorial paper on probabilistic model checking of MDPs.

  • There are further tutorial papers listed here.

Documentation