Please visit the new ProB web site at:
The old pages are still available in case you wish to download a release prior to
Macintosh Version (Mac OS X)
- ProB tarball: ProB_Linux.tar.gz
- This version requies Tcl/Tk 8.4 or higher.
- To view the graphs generated by ProB you need
- ProB tarball: ProB_Solaris.tar.gz
- This version was compiled agains Active Tcl/Tk 8.4.6
on SunOS 5.8, sparc SUNW,Ultra-5_10.
Platform independent Version
This version requires SICStus
Prolog 3.10 or higher to be installed.
The Java Version of ProB is still under development, but a first prototype is available for download for Windows and Linux.
A source distribution is available upon request from
Michael Leuschel. Just send a brief
email with the reason for needing access to the source.
The source is distributed under the GPL licence.
The downloads contain parts of the jbtools library
which are distributed with kind permission from Bruno Tatibouet, Université
de Franche-Comté, France.