Installing ProB with Graphviz on Mac (OSX)

To run ProB with Graphiz on mac:
Note: Make sure you have java installed (version 7.0 or newer as per theProB documentation)
  1. Download the Tarball (with probcli) (64bit) available here :https://www3.hhu.de/stups/prob/index.php/Download
  2. Extract the tarball.
  3. Now, open the Terminal and run the following commands:
    • cd [path_to_extracted_folder]

    • sh StartProB.sh

  4. The ProB window should launch and appear as follows:
  5. Download and install Graphiz dmg for mac from here
  6. Once installed, you need to tell Prob where to find the graphviz.pp for Visualization
  7. To do so open Preferences > Graphical Viewer Preferences and select Path/Command for dotty viewer (e.g., dotty)
  8. Locate Graphviz. It will typically be in /Applications/Graphviz.app and click Finished
  9. Now open a sample project by clicking on File > Open > [ProB_folder] > examples > GraphicalAnimation > Hanoi.mch on the Prob menu
  10. Click on Animate > Random Animation (10) to run the animation
  11. Then click on Visualize > States > Current State as Graph which will show you the graph as follows: