General Material

• Quick Installation instructions
• ProB User Manual (pdf) (NEW)
• ProB Full Installation Manuals
• Release history
• FAQ (Frequently asked questions)
• Machines.tar.gz (included in distributions below)
• Updates Directory

Windows Version

• Get the ProB Installer: ProB_WindowsInstaller.exe and simply double-click.

  Please also get the latest binary ProBWin.exe from the Updates directory, replacing the older one created by the installer.

• This version requires Tcl/Tk 8.4.9 for Windows: Go to Download Page
• To compile your own B machines you also need a Java runtime environment: Go to Download Page.
• Don't forget to check for updates here or using the "Check for Updates" command in the "About" menu (the Windows version may not be fully up-to-date).
• To view the graphs generated by ProB you need GraphViz.

Macintosh Version (Mac OS X)

• ProB tarball: ProB_Mac.tar.gz
• This version requires Tcl/Tk Aqua 8.4 or higher. Go to Download Page
• To view the graphs generated by ProB you need GraphViz installed: you can download a Mac OS X specific version or use fink.

Linux Version

• ProB tarball: ProB_Linux.tar.gz
• This version requies Tcl/Tk 8.4 or higher.
• To view the graphs generated by ProB you need GraphViz.

Solaris Version

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

• Directory: ProB_platform_independent/
• Alternatively, download any of the tarballs above and simply remove the precompiled binary.

Java Version

Source Distribution