www.prismmodelchecker.org

More information about PRISM

For a brief, high-level overview of PRISM, see:

For some background material on probabilistic model checking, see these tutorials:

See also:

To get started with PRISM, try:

The definitive guide to the PRISM tool is:

For more details about case studies, see:

About PRISM