www.prismmodelchecker.org

SSFT'14: Probabilistic model checking with PRISM

The site contains various resources for SSFT'14, the Fourth Summer School on Formal Techniques

Background reading

  • This tutorial paper is a good source of background reading.

  • There are further tutorial papers listed here.

Documentation