www.prismmodelchecker.org

PRISM Screenshots

PRISM can be run either from the command-line or from a graphical user interface (GUI). Below are some screenshots of the GUI running. Click on the images to view the full size versions.

GUI Screenshot

GUI Screenshot

GUI Screenshot

About PRISM