DownloadPriorVersions

Prior Versions of ProB

Below are details for releases 1.10.2 back to 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://www3.hhu.de/stups/downloads/prob/timed-csp/


Platform    Release Date    Download (64 bit)   Dependencies
1.11.0
Linux 6.10.2021 Tarball
Java Runtime Environment (7.0 or newer) or Adopt JDK,

Tcl/Tk 8.5, GraphViz

Windows 6.10.2021 Zipfile (Tcl/Tk 8.6),
Zipfile (Tcl/Tk 8.5)
Tcl/Tk for Windows,

Java Runtime Environment (7.0 or newer) or Adopt JDK,
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 Runtime Environment or better Java JDK or Adopt JDK,
Graphviz


Platform    Release Date    Download (64 bit)   Dependencies
1.10.2
Linux 21.1.2021 Tarball
Java Runtime Environment (7.0 or newer) or Adopt JDK,

Tcl/Tk 8.5, GraphViz

Windows 21.1.2021 Zipfile (Tcl/Tk 8.6),
Zipfile (Tcl/Tk 8.5)
Tcl/Tk for Windows,

Java Runtime Environment (7.0 or newer) or Adopt JDK,
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 Runtime Environment or better Java JDK or Adopt JDK,
Graphviz



Platform    Release Date    Download (64 bit)   Dependencies
1.10.0-final
Linux 15.12.2020 Tarball
Java Runtime Environment (7.0 or newer) or Adopt JDK,

Tcl/Tk 8.5, GraphViz

Windows 15.12.2020 Zipfile (Tcl/Tk 8.6),
Zipfile (Tcl/Tk 8.5)
Tcl/Tk for Windows,

Java Runtime Environment (7.0 or newer) or Adopt JDK,
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 Runtime Environment or better Java JDK or Adopt JDK,
Graphviz


Platform    Release Date    Download (64 bit)   Dependencies
1.9.3-final
Linux 19.2.2020 Tarball
Java Runtime Environment (7.0 or newer) or Adopt JDK,

Tcl/Tk 8.5, GraphViz

Windows 19.2.2020 Zipfile (Tcl/Tk 8.6),
Zipfile (Tcl/Tk 8.5)
Tcl/Tk for Windows,

Java Runtime Environment (7.0 or newer) or Adopt JDK,
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 Runtime Environment or better Java JDK or Adopt JDK,
Graphviz


Platform    Release Date    Download (64 bit)   Dependencies
1.9.2-release
Linux 11.11.2019 Tarball
Java Runtime Environment (7.0 or newer) or Adopt JDK,

Tcl/Tk 8.5, GraphViz

Windows 11.11.2019 Zipfile (Tcl/Tk 8.6),
Zipfile (Tcl/Tk 8.5)
Tcl/Tk for Windows,

Java Runtime Environment (7.0 or newer) or Adopt JDK,
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 Runtime Environment or better Java JDK or Adopt JDK,
Graphviz for Mac OS X


Platform    Release Date    Download (64 bit)   Dependencies
1.9.1-release
Linux 8.11.2019 Tarball
Java Runtime Environment (7.0 or newer) or Adopt JDK,

Tcl/Tk 8.5, GraphViz

Windows 8.11.2019 Zipfile (Tcl/Tk 8.6),
Zipfile (Tcl/Tk 8.5)
Tcl/Tk for Windows,

Java Runtime Environment (7.0 or newer) or Adopt JDK,
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 Runtime Environment or better Java JDK or Adopt JDK,
Graphviz for Mac OS X

Platform    Release Date    Download (64 bit)   Dependencies
1.9.0-release
Linux 12.7.2019 Tarball
Java Runtime Environment (7.0 or newer) or Adopt JDK,

Tcl/Tk 8.5, GraphViz

Windows 12.7.2019 Zipfile (Tcl/Tk 8.6),
Zipfile (Tcl/Tk 8.5)
Tcl/Tk for Windows,

Java Runtime Environment (7.0 or newer) or Adopt JDK,
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 Runtime Environment or better Java JDK or Adopt JDK,
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 Runtime Environment (7.0 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 Runtime Environment (7.0 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 Runtime Environment or better Java JDK or openJDK (7.0 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 Runtime Environment (7.0 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 Runtime Environment (7.0 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 Runtime Environment or better Java JDK (7.0 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 Runtime Environment (7.0 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 Runtime Environment (7.0 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 Runtime Environment or better Java JDK (7.0 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 Runtime Environment (7.0 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 Runtime Environment (7.0 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 Runtime Environment or better Java JDK (7.0 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 Runtime Environment (7.0 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 Runtime Environment (7.0 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 Runtime Environment or better Java JDK (7.0 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 Runtime Environment (7.0 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 Runtime Environment (7.0 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 Runtime Environment or better Java JDK (7.0 or newer), Graphviz for Mac OS X

1.5.0-final
Linux 19. February 2015 Tarball (with probcli) (32bit),
Tarball (with probcli) (64bit)
Java Runtime Environment (7.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 Runtime Environment (7.0 or newer), Windows Installation Instructions

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

Java Runtime Environment or better Java JDK (7.0 or newer) Graphviz for Mac OS X

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)

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