www.prismmodelchecker.org

PRISM Support

Need help?

If you have problems installing PRISM, please read "Common Problems And Questions".

For issues regarding the use of PRISM, please first look in the FAQ and search the manual.

For other questions, comments or feedback, please post a message in our forum.

Bug reports and feature requests are always welcome. File an issue on GitHub or post a message in the forum.

If you're a developer working on or with PRISM, have a look at the developer resources or post a message to the PRISM developers forum.

PRISM Support