Prior Versions of ProB

Below are details for releases going back to ProB 1.3.1. 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: https://stups.hhu-hosting.de/downloads/prob/timed-csp/

Nightly builds of ProB 2 (deprecated) for Rodin 3 can be obtained from within Rodin using the update site https://stups.hhu-hosting.de/rodin/prob2/nightly/ (this will probably be replaced by a Java FX version in the future)


A hot-fix release of 1.12.0 is available here: https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.12.2-fix1/.

Platform Release Date Download Dependencies
1.12.2
Linux 10.8.2023 Tarball
Java 8 or newer (see below), Tcl/Tk 8.5 or 8.6 (see below), GraphViz
Windows 10.8.2023 Zipfile (Tcl/Tk 8.6),
Zipfile (Tcl/Tk 8.5)
Tcl/Tk 8.5 or 8.6 (see below), Java 8 or newer (see below), GraphViz, Windows Installation Instructions
macOS 10.8.2023 Zipfile (Universal ARM/Intel notarized)

Homebrew Tap (not yet updated)

macOS 10.14 (Mojave) or newer, Tcl/Tk (see below), Java 8 or newer (see below), Graphviz (see below)


Platform Release Date Download Dependencies
1.12.1
Linux 30.4.2023 Tarball
Java 8 or newer (see below), Tcl/Tk 8.5 or 8.6 (see below), GraphViz
Windows 30.4.2023 Zipfile (Tcl/Tk 8.6),
Zipfile (Tcl/Tk 8.5)
Tcl/Tk 8.5 or 8.6 (see below), Java 8 or newer (see below), GraphViz, Windows Installation Instructions
macOS 30.4.2023 Zipfile (Universal ARM/Intel notarized)

Homebrew Tap (not yet updated)

macOS 10.14 (Mojave) or newer, Tcl/Tk (see below), Java 8 or newer (see below), Graphviz (see below)
Platform Release Date Download Dependencies
1.12.0
Linux 4.4.2023 Tarball
Java 8 or newer (see below), Tcl/Tk 8.5 or 8.6 (see below), GraphViz
Windows 4.4.2023 Zipfile (Tcl/Tk 8.6),
Zipfile (Tcl/Tk 8.5)
Tcl/Tk 8.5 or 8.6 (see below), Java 8 or newer (see below), GraphViz, Windows Installation Instructions
macOS 4.4.2023 Zipfile (ARM notarized)
Zipfile (Intel notarized)

Homebrew Tap (not yet updated)

macOS 10.14 (Mojave) or newer, Tcl/Tk (see below), Java 8 or newer (see below), Graphviz (see below)
Platform Release Date Download Dependencies
1.11.1
Linux 29.12.2021 Tarball
Java 8 or newer (see below), Tcl/Tk 8.5 (see below), GraphViz
Windows 29.12.2021 Zipfile (Tcl/Tk 8.6),
Zipfile (Tcl/Tk 8.5)
Tcl/Tk 8.5 or 8.6 (see below), Java 8 or newer (see below), GraphViz, Windows Installation Instructions
macOS 29.12.2021 Zipfile (notarized)

Homebrew Tap

macOS 10.14 (Mojave) or newer, Tcl/Tk (see below), Java 8 or newer (see below), Graphviz (see below)
Platform Release Date Download (64 bit) Dependencies
1.11.0
Linux 6.10.2021 Tarball
Java 8 or newer, Tcl/Tk 8.5, GraphViz
Windows 6.10.2021 Zipfile (Tcl/Tk 8.6),
Zipfile (Tcl/Tk 8.5)
Tcl/Tk for Windows,

Java 8 or newer, GraphViz,
Windows Installation Instructions

OS X 6.10.2021 Zipfile (notarized Tk 8.5)
Zipfile (notarized Tk 8.6)

Homebrew Tap

OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),

Java 8 or newer, Graphviz

Platform Release Date Download (64 bit) Dependencies
1.10.2
Linux 21.1.2021 Tarball
Java 8 or newer, Tcl/Tk 8.5, GraphViz
Windows 21.1.2021 Zipfile (Tcl/Tk 8.6),
Zipfile (Tcl/Tk 8.5)
Tcl/Tk for Windows,

Java 8 or newer, GraphViz,
Windows Installation Instructions

OS X 21.1.2021 Zipfile (notarized)

Homebrew Tap

OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),

Java 8 or newer, Graphviz

Platform Release Date Download (64 bit) Dependencies
1.10.0-final
Linux 15.12.2020 Tarball
Java 8 or newer, Tcl/Tk 8.5, GraphViz
Windows 15.12.2020 Zipfile (Tcl/Tk 8.6),
Zipfile (Tcl/Tk 8.5)
Tcl/Tk for Windows,

Java 8 or newer, GraphViz,
Windows Installation Instructions

OS X 15.12.2020 Zipfile (notarized)

Homebrew Tap

OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),

Java 8 or newer, Graphviz

Platform Release Date Download (64 bit) Dependencies
1.9.3-final
Linux 19.2.2020 Tarball
Java 7 or newer, Tcl/Tk 8.5, GraphViz
Windows 19.2.2020 Zipfile (Tcl/Tk 8.6),
Zipfile (Tcl/Tk 8.5)
Tcl/Tk for Windows,

Java 7 or newer, GraphViz,
Windows Installation Instructions

OS X 19.2.2020 Zipfile (notarized)

Homebrew Tap

OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),

Java 7 or newer, Graphviz

Platform Release Date Download (64 bit) Dependencies
1.9.2-release
Linux 11.11.2019 Tarball
Java 7 or newer, Tcl/Tk 8.5, GraphViz
Windows 11.11.2019 Zipfile (Tcl/Tk 8.6),
Zipfile (Tcl/Tk 8.5)
Tcl/Tk for Windows,

Java 7 or newer, GraphViz,
Windows Installation Instructions

OS X 11.11.2019 Tarball

Homebrew Tap

OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),

Java 7 or newer, Graphviz for Mac OS X

Platform Release Date Download (64 bit) Dependencies
1.9.1-release
Linux 8.11.2019 Tarball
Java 7 or newer, Tcl/Tk 8.5, GraphViz
Windows 8.11.2019 Zipfile (Tcl/Tk 8.6),
Zipfile (Tcl/Tk 8.5)
Tcl/Tk for Windows,

Java 7 or newer, GraphViz,
Windows Installation Instructions

OS X 8.11.2019 Tarball

Homebrew Tap

OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),

Java 7 or newer, Graphviz for Mac OS X

Platform Release Date Download (64 bit) Dependencies
1.9.0-release
Linux 12.7.2019 Tarball
Java 7 or newer, Tcl/Tk 8.5, GraphViz
Windows 12.7.2019 Zipfile (Tcl/Tk 8.6),
Zipfile (Tcl/Tk 8.5)
Tcl/Tk for Windows,

Java 7 or newer, GraphViz,
Windows Installation Instructions

OS X 12.7.2019 Tarball

Homebrew Tap

OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),

Java 7 or newer, Graphviz for Mac OS X

Platform Release Date Download Dependencies
1.8.2-final
Linux 1.10.2018 Tarball (with probcli) (32bit),
Tarball (with probcli) (64bit)
Java 7 or newer, Tcl/Tk 8.5, GraphViz
Windows 1.10.2018 Zipfile (with probcli) (32bit),
Zipfile (with probcli)
(64bit)
Tcl/Tk 8.5 for Windows,

Java 7 or newer, Windows Installation Instructions GraphViz

OS X 1.10.2018 Tarball (with probcli) (64bit) Homebrew Tap OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),

Java 7 or newer, Graphviz for Mac OS X

Platform Release Date Download Dependencies
1.8.0-final
Linux 20.3.2018 Tarball (with probcli) (32bit),
Tarball (with probcli) (64bit)
Java 7 or newer, Tcl/Tk 8.5, GraphViz
Windows 20.3.2018 Zipfile (with probcli) (32bit),
Zipfile (with probcli)
(64bit)
Tcl/Tk 8.5 for Windows,

Java 7 or newer, Windows Installation Instructions GraphViz

OS X 20.3.2018 Tarball (with probcli) (64bit) Homebrew Tap OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),

Java 7 or newer, Graphviz for Mac OS X

Platform Release Date Download Dependencies
1.7.1-final
Linux 5. October 2017 Tarball (with probcli) (32bit),
Tarball (with probcli) (64bit)
Java 7 or newer, Tcl/Tk 8.5
Windows 5. October 2017 Zipfile (with probcli) (32bit),
Zipfile (with probcli)
(64bit)
Tcl/Tk 8.5 for Windows,

Java 7 or newer, Windows Installation Instructions GraphViz

OS X 12. October 2017 Tarball (with probcli) (64bit) Homebrew Tap OS X 10.9 (Mavericks) or newer, Tcl/TK 8.5 (e.g., 8.5.18.0),

Java 7 or newer, Graphviz for Mac OS X

Platform Release Date Download Dependencies
1.7.0-final
Linux 11. July 2017 Tarball (with probcli) (32bit),
Tarball (with probcli) (64bit)
Java 7 or newer, Tcl/Tk 8.5
Windows 11. July 2017 Zipfile (with probcli) (32bit),
Zipfile (with probcli)
(64bit)
Tcl/Tk 8.5 for Windows,

Java 7 or newer, Windows Installation Instructions GraphViz

OS X 11. July 2017 Tarball (with probcli) (64bit) Homebrew Tap OS X 10.11 (El Capitain) recommended, Tcl/TK 8.5,

Java 7 or newer, Graphviz for Mac OS X

Platform Release Date Download Dependencies
1.6.1-final
Linux 22. April 2016 Tarball (with probcli) (32bit),
Tarball (with probcli) (64bit)
Java 7 or newer, Tcl/Tk 8.5
Windows 22. April 2016 Zipfile (with probcli) (32bit),
Zipfile (with probcli)
(64bit)
Tcl/Tk 8.5 for Windows,

Java 7 or newer, Windows Installation Instructions GraphViz

OS X 22. April 2016 Tarball (with probcli) (64bit) Homebrew Tap OS X 10.11 (El Capitain) recommended, Tcl/TK 8.5,

Java 7 or newer, Graphviz for Mac OS X

Platform Release Date Download Dependencies
1.6.0-SR1
Linux 22. April 2016 Tarball (with probcli) (32bit),
Tarball (with probcli) (64bit)
Java 7 or newer, Tcl/Tk 8.5
Windows 22. April 2016 Zipfile (with probcli) (32bit),
Zipfile (with probcli)
(64bit)
Tcl/Tk 8.5 for Windows,

Java 7 or newer, Windows Installation Instructions

OS X 22. April 2016 Tarball (with probcli) (64bit) Homebrew Tap OS X 10.11 (El Capitain) recommended, Tcl/TK 8.5,

Java 7 or newer, Graphviz for Mac OS X

1.5.0-final
Linux 19. February 2015 Tarball (with probcli) (32bit),
Tarball (with probcli) (64bit)
Java 5.0 or newer, Tcl/Tk 8.5
Windows 19. February 2015 Zipfile (with probcli) (32bit),
Zipfile (with probcli)
(64bit)
Tcl/Tk 8.5 for Windows,

Java 5.0 or newer, Windows Installation Instructions

OS X 19. February 2015 Tarball (with probcli) (64bit) Homebrew Tap Tcl/TK 8.5

Java 5.0 or newer, Graphviz for Mac OS X

1.3.6-final
Linux 4. March 2013 Tarball (32bit),
Tarball (64bit),
Java 5.0 or newer, Tcl/Tk 8.5
Windows 4. March 2013 Zipfile (with probcli) Tcl/Tk 8.5 for Windows,

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

Graphviz for Mac OS X

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

Graphviz for Mac OS X