mseve/prism repository overview

⁠docker-prism

Docker image for the PRISM⁠ stochastic model checker. A binary image can be downloaded from the Docker Hub⁠ with the following command:

docker pull mseve/prism

The PRISM graphical interface can be loaded by running

docker run -e DISPLAY \
  -v /tmp/.X11-unix:/tmp/.X11-unix \
  -v $HOME/.Xauthority:/home/prism/.Xauthority \
  --net=host
  -i -t mseve/prism \
  xprism

To work with the PRISM command line interface, simply load a new container

docker run -i -t mseve/prism

and then run command prism --help.