www.prismmodelchecker.org

AIMS-QuantVer'18: Quantitative verification, part of the Systems Verification course of the AIMS CDT

The site contains various resources for the Quantitative Verification component of the Systems Verification course taught for the AIMS CDT (Hilary Term 2018).

Background reading

Documentation