www.prismmodelchecker.org

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.

Details how how to run PRISM can be found in the installation instructions. In short, to run the PRISM GUI:

  • (on Windows) click the short-cut (to xprism.bat) installed on the Desktop/Start Menu
  • (on other OSs) run the xprism script in the bin directory

You can also optionally specify a model file and a properties file to load upon starting the GUI, e.g.:

xprism model.sm
xprism model.sm some-props.csl

To use the command-line version of PRISM, run the prism script, also in the bin directory, e.g.:

prism model.sm some-props.csl -prop 2

The remainder of this section of the manual describes the main types of functionality offered by PRISM. For a more introductory guide to using the tool, try the tutorial on the PRISM web site. Some screenshots of the GUI version of PRISM are shown below.


The PRISM GUI (editing a model)

The PRISM GUI (model checking)

PRISM Manual

Running PRISM

[ View all ]