www.prismmodelchecker.org
HomeAboutDownloadsDocumentationManualPublicationsCase StudiesSupport

PRISM Screenshots

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

GUI mode

GUI Screenshot

GUI Screenshot

Command-line mode

Command-line screenshot

About PRISM