Demo video

How to start

Get OpenErrorPro

- sudo apt-get update
- sudo apt-get install git
- git clone https://github.com/mbsa-tud/OpenErrorPro.git
- cd OpenErrorPro

Get PRISM

• download the PRISM model checker from http://www.prismmodelchecker.org/download.php
• extract it to the OpenErrorPro folder e.g.

  OpenErrorPro/prism-4.4-linux64
  

• run the install script:

  sh OpenErrorPro/prism-4.4-linux64/install.sh
  

• install JRE:

  sudo apt-get install default-jre
  

• check that prism is working:

  ./prism-4.4-linux64/bin/xprism
  

Setup OpenErrorPro

• open

  epl_prism.py
  

• setup the path to the prism bin folder:

  self.prism_dir = "/home/errorpro/Desktop/OpenErrorPro/prism-4.4-linux64/bin"
  

Install python3 libs

- sudo apt-get install python3-pyside
- sudo apt-get install python3-colorama
- sudo apt-get install python3-matplotlib
- sudo apt-get install python3-pygraphviz
- sudo apt-get install python3-pyqt4

Run

- python3 errorpro.py

macOS

Have Homebrew installed

• pip3 install –global-option=build_ext –global-option=”-I$(brew –prefix graphviz)/include” –global-option=”-L$(brew –prefix graphviz)/lib” pygraphviz
• pip3 install -r requirements.txt
• Check out our Virtual machine