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