Please visit the new ProB web site at:

http://www.stups.uni-duesseldorf.de/ProB/

The old pages are still available in case you wish to download a release prior to 1.2.




ProB Installation Instructions

Version 1.0 - First Major Release
Released on March 15 2004
http://www.ecs.soton.ac.uk/~mal/systems/prob.html

(C) 2000-2004 Michael Leuschel, DSSE, University of Southampton
All rights reserved.
Free for non-commercial, academic use or evaluation purposes.
ProB comes with ABSOLUTELY NO WARRANTY OF ANY KIND !
This software is distributed in the hope that it will be useful
but WITHOUT ANY WARRANTY. The author(s) do not accept responsibility 
to anyone for the consequences of using it or for whether it serves 
any particular purpose or works at all. No warranty is made about 
the software or its performance. 

ProB QUICK INSTALLATION INSTRUCTIONS

Full instructions can be found further below. The Quick Instructions will get you started and allow you to play with the precompiled Machines.

ProB FULL INSTALLATION INSTRUCTIONS

Now you should be able to open some of the B Machines in the Machines directory. You should then be able to initialise the machines and animate them. Have fun ! Have a look at the supplied Machines to see what subset of B is already supported. Please report bugs to me at the email address below.

Don't forget to look at the UPDATES sub-directory in the ProB Download section on the web, to see whether there is a newer version of the binary available. You can also use the "Check for Updates" command in the About menu.

See the FAQ.txt file for troubleshooting and frequently asked questions.


Michael Leuschel