Download

Latest Release

Details of the ProB Licence can be found here. Note: please use the provided start scripts (StartProB.sh or StartProBWin.bat) to start ProB. To use all of the features of the ProB Tcl/Tk version 1.3.4 you may have to install the tklib library (see Tcl/Tk notes below; version 1.3.5 no longer has this requirement).

ProB is free to use and open source; commercial support is provided by the spin-off company Formal Mind.

Platform Release Date Download Dependencies
1.3.5-final
Linux 8. Oct 2012 Tarball (32bit),
Tarball (64bit),
Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5
Windows 8. Oct 2012 Zipfile (with probcli) Tcl/Tk 8.5 for Windows,

Java Runtime Environment (5.0 or newer)

Mac OS X, Snow Leopard, Intel (64-bit) 8. Oct 2012 Tarball (with probcli) Tcl/TK 8.5,

Graphviz for Mac OS X

Mac OS X, Leopard, Intel (32-bit) 8. Oct 2012 Tarball (with probcli) Tcl/TK 8.5,

Graphviz for Mac OS X

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),

Java Runtime Environment (5.0 or newer)

Mac OS X, Snow Leopard, Intel (64-bit) 27. Nov 2011 Tarball (with probcli) Tcl/TK 8.5,

Graphviz for Mac OS X

Mac OS X, Leopard, Intel (32-bit) 27. Nov 2011 Tarball (with probcli) Tcl/TK 8.5,

Graphviz for Mac OS X

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,

Java Runtime Environment (5.0 or newer)

Mac OS X, Snow Leopard, Intel 10. Feb 2011 Tarball (with probcli) Tcl/TK 8.5,

Graphviz for Mac OS X

Mac OS X, Leopard, Intel 10. Feb 2011 Tarball (with probcli) Tcl/TK 8.5,

Graphviz for Mac OS X

1.3.2-final
Mac OS X, Tiger, Intel 30. Jul 2010 Tarball (with probcli) Tcl/TK 8.4,

Graphviz for Mac OS X

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,

Graphviz for Mac OS X

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.

Tcl/Tk

Please note that Tcl/Tk 8.6 is not yet supported by SICStus Prolog. 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). 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!

Tklib for ProB 1.3.4

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.

Nightly Build

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/.

Earlier Releases

If you are interested in earlier releases, please have a look at the Download directory.

Timed-CSP Simulator

A version of ProB with built-in support for timed CSP is available on here: http://nightly.cobra.cs.uni-duesseldorf.de/timed-csp/