www.prismmodelchecker.org

PRISM Links

For links to people and projects related to PRISM, see here.

For related tools, see here.

Courses

A selection of taught courses which include PRISM:

About PRISM