www.prismmodelchecker.org

KTH'15: Probabilistic verification and synthesis

The site contains various resources for the Probabilistic Verification and Synthesis course taught at KTH Institute of Technology (August 2015).

Background reading

Documentation