ProB
Tool for B-Method
http://www.stups.uni-duesseldorf.de/ProB/index.php5/Main_Page
- Mac OSX
http://www.stups.uni-duesseldorf.de/ProB/index.php5/Download
Install ActiveTcl
file:///Library/Documentation/Help/ActiveTcl-8.5/index.html
Install Graphviz
DL tar ball and extract
$ wget http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.mac_os.10.6.tar.gz
$ tar xvfz ProB.mac_os.10.6.tar.gz
run prob
$ plobcli
$ plob