Details of the ProB Licence can be found here. Note: please use the provided start scripts (StartProB.sh or StartProBWin.bat) to start ProB.
ProB is free to use and open source; commercial support is provided by the spin-off company Formal Mind. In particular, Formal Mind can also provide access to the validation report for using ProB as a tool of class T2 or T3 within the European norm EN50128.
| Platform | Release Date | Download | Dependencies |
|---|---|---|---|
| 1.3.6-final | |||
| Linux | 4. March 2013 | Tarball (32bit), Tarball (64bit), |
Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5 |
| Windows | 4. March 2013 | Zipfile (with probcli) | Tcl/Tk 8.5 for Windows,
Java Runtime Environment (5.0 or newer), Windows Installation Instructions |
| Mac OS X, Snow Leopard, Intel (64-bit) | 4. March 2013 | Tarball (with probcli) | Tcl/TK 8.5 (do not use version 8.5.12.0, use 8.5.11 or use at least 8.5.13) |
| Mac OS X, Leopard, Intel (32-bit) | 4. March 2013 | Tarball (with probcli) | Tcl/TK 8.5 (do not use version 8.5.12.0, use 8.5.11), |
| 1.3.5-final | |||
| Linux | 11. Oct 2012 | Tarball (32bit), Tarball (64bit), |
Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5 |
| Windows | 11. Oct 2012 | Zipfile (with probcli) | Tcl/Tk 8.5 for Windows,
Java Runtime Environment (5.0 or newer), Windows Installation Instructions |
| Mac OS X, Snow Leopard, Intel (64-bit) | 11. Oct 2012 | Tarball (with probcli) | Tcl/TK 8.5 (do not use version 8.5.12.0, use 8.5.11 or use at least 8.5.13) |
| Mac OS X, Leopard, Intel (32-bit) | 11. Oct 2012 | Tarball (with probcli) | Tcl/TK 8.5 (do not use version 8.5.12.0, use 8.5.11), |
| Mac OS X, Lion, Intel (64-bit) | 11. Oct 2012 | Zipfile (with probcli) | Tcl/TK 8.6, |
| 1.3.4-final | |||
| Linux | 27. Nov 2011 | Tarball (32bit), Tarball (64bit), |
Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5 with tklib (see below) |
| Windows | 27. Nov 2011 | Zipfile (with probcli) | Tcl/Tk 8.5 for Windows with tklib (see below), |
| Mac OS X, Snow Leopard, Intel (64-bit) | 27. Nov 2011 | Tarball (with probcli) | Tcl/TK 8.5, |
| Mac OS X, Leopard, Intel (32-bit) | 27. Nov 2011 | Tarball (with probcli) | Tcl/TK 8.5, |
| 1.3.3-final | |||
| Linux | 10. Feb 2011 | Tarball (32bit), Tarball (64bit), Ubuntu/Debian package (32bit) |
Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5 |
| Windows | 10. Feb 2011 | Zipfile (with probcli) | Tcl/Tk 8.4 for Windows, |
| Mac OS X, Snow Leopard, Intel | 10. Feb 2011 | Tarball (with probcli) | Tcl/TK 8.5, |
| Mac OS X, Leopard, Intel | 10. Feb 2011 | Tarball (with probcli) | Tcl/TK 8.5, |
| 1.3.2-final | |||
| Mac OS X, Tiger, Intel | 30. Jul 2010 | Tarball (with probcli) | Tcl/TK 8.4, |
| 1.3.1-final | |||
| Linux | 13. Jan 2010 | Tarball | Java Runtime Environment (5.0 or newer), Tcl/Tk 8.4 |
| Mac OS X, PPC Tiger | 07. Dec 2009 | Tarball | Tcl/TK 8.5, |
Note: for version 1.3.3 on Snow Leopard (Mac OS X 10.6.x) you have to install a corrected version of Tcl/Tk as indicated above (the distribution provided by Apple is broken). In version 1.3.4 we managed to circumvent the bug.
Please note that Tcl/Tk 8.6 is not yet generally supported by SICStus Prolog. There is a version of ProB available for Tcl/Tk 8.6 on Mac OS X Lion. Also note that on Mac OS X you may have to reinstall Tcl/Tk using one of the links given above (because the Tcl/Tk provided by Apple crashes after opening a file using the standard file selection dialog; however, even the version of Active Tcl/Tk on Mac seem quite unreliable and prone to crashing; for example version 8.5.12 has a serious bug related to copying text, see also here; you can use the older version 8.5.11.1 instead). This issue seems to have been fixed in version 8.5.13. On Snow Leopard (Mac OS X 10.6.x) you have to install Tcl/Tk as indicated above for ProB 1.3.3.
With ProB 1.3.5 you can now use ProB with Tcl/Tk 8.5 on Windows. If you have the older
version of Tcl/Tk 8.4 you have to install the newer one
8.5 (you should be able to also keep the older version). For Windows we recommend installing ActiveTcl-8.5 (the win32-ix86-threaded version).
Note: On Windows 64 bit machines, you have to install the 32 bit Tcl/Tk 8.5 version!
On Linux OpenSuse (12.3) you may have to perform the following for ProB to work:
ln -s /usr/lib/libtk8.5.so /usr/lib/libtk8.5.so.0 ln -s /usr/lib/libtcl8.5.so /usr/lib/libtcl8.5.so.0
ProB 1.3.4 requires the text module from tklib. This should come pre-installed on Mac and often on Windows as well (see below). On Linux you need to install tklib. On Ubuntu just type sudo apt-get install tklib. If you used the Active Tcl distribution, you need to type
sudo /opt/ActiveTcl-8.5/bin/teacup install tklib85
on Linux. On Windows, ActiveTcl-8.5 installs an additional tool "Teacup", with which you can install Tcl/Tk library extensions like tcllib and tklib. To use the latest Tcl/Tk version of ProB you may have to install tklib. This library can be installed on Windows with Teacup by typing
teacup install tklib85
into the Command Prompt, when you are logged in as an administrator.
You can download our nightly integration build from here.
Automatically generated test coverage reports are also available.
Nightly builds of ProB for Rodin can be obtained from within Rodin by using the update site http://nightly.cobra.cs.uni-duesseldorf.de/rodin/updatesite/.
If you are interested in earlier releases, please have a look at the Download directory.
A version of ProB with built-in support for timed CSP developed by Swansea University (UK) is available on here: http://nightly.cobra.cs.uni-duesseldorf.de/timed-csp/
You can download the latest sourcecode snapshot from: http://nightly.cobra.cs.uni-duesseldorf.de/source/