www.prismmodelchecker.org

Contact

If you have problems or questions regarding the tool, please first check the support section.

If you have further queries or comments, please email:

Full details of the people involved in the development of PRISM can be found here.

About PRISM