Public | Automated Build

Last pushed: 6 days ago
Short Description
Short description is empty for this repo.
Full Description

docker-prism

Docker image for the stochastic model checker
PRISM. 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.

Docker Pull Command
Owner
mseve
Source Repository