Running PRISM /

Starting PRISM

There are two versions of PRISM, one based on a graphical user interface (GUI), the other based on a command line interface. Both use the same underlying model checker. The latter is useful for running large batches of jobs, leaving long-running model checking tasks in the background, or simply for running the tool quickly and easily once you are familiar with its operation. Assuming that the bin directory of your PRISM distribution is in your path, the GUI version can be started by typing xprism and the command-line version by typing prism (typically with several arguments and switches). Below are screenshots of the PRISM GUI and the command-line version running.


The PRISM GUI

The PRISM GUI

The Command-Line

PRISM Manual

Running PRISM

[ View all ]