Windows Installation Instructions - Revision history

David Geleßus: Redirect to Installation - the Windows-specific instructions on this page are outdated, and everything else is also explained on the other page

2026-03-05T17:40:15Z

Redirect to Installation - the Windows-specific instructions on this page are outdated, and everything else is also explained on the other page

← Older revision		Revision as of 17:40, 5 March 2026
Line 1:		Line 1:
	~~Windows Specific Download Instructions~~		#REDIRECT [[Installation]]


	~~=== Go to the ProB Downloads site ===~~

	* Go to the page [[~~Download~~]]~~, this should look as follows:~~

	~~[[File:ProBWindowsDownload.png\|center\|\|600px]]~~

	~~=== Install Tcl/Tk 8.5 ===~~

	~~If Tcl/Tk 8.5 is already installed you can skip this step.~~

	* Click on the "[http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows]," link provided in the "Dependencies" column and the "Windows" row above
	* Choose the most recent Tcl/Tk 8.5 distribution available for windows; be sure to choose a version matching ProB, e.g. a 32-bit version (the file highlighted in blue below) if you want to use the 32-bit version of ProB.
	* Download and follow the installation instructions

	~~[[File:TkWindowsDownload.png\|center\|\|600px]]~~

	~~=== Install Java ===~~

	~~If Java 7 or newer is already installed you can skip this step.~~

	* Click on the "[http://java.com/en/ Java Runtime Environment (7.0 or newer)]" link provided in the "Dependencies" column and the "Windows" row above
	* Follow the installation instructions

	~~=== Download the ProB for Windows Zipfile ===~~

	* Click on the "Zipfile (with probcli)" link in the [[Download]] column and Windows row
	* Decompress and expand the ProB directory if necessary. Do not change the location and structure of the files and directories within ProB (apart from the Machines directory)! The contents of the ProB directory should look something like this:

	~~[[File:ProBWindowsFolder.png\|center]]~~

	~~The subfolder called "Microsoft.VC80.CRT" contains the DLLs for the Microsoft C runtime.~~

	~~=== Optionally Download GraphViz ===~~

	* Install the "dot" program and "dotty" viewer from AT&T's Graphviz package (http://www.graphviz.org/ or http://www.research.att.com/sw/tools/graphviz/)

	~~=== Start ProB ===~~

	* Start ProB by double-clicking on the ProBWin icon above
	* Try to open some of the examples provided in the Examples folder shown above
	* Contact us if you have problems

	~~=== Checklist/Troubleshooting ===~~

	* Java: be sure to have Java 1.7 or newer installed. Otherwise you will not be able to parse your own classical B machines as our parser is written in Java.

	* Tcl/Tk: be sure to have a matching version of TclTk 8.5 installed

	* In case you cannot start neither ProBWin nor probcli, you should to install the [http://www.microsoft.com/en-us/download/details.aspx?id=3387 Microsoft Visual C++ 2005 Redistributable Package (x86)] for yourself (rather than rely on the ones we provide in the "Microsoft.VC80.CRT" folder mentioned above).

	* Try starting ProBWin or probcli from the Windows Command Prompt; the error messages may help you or us uncover the problem

	* You can also try and obtain information from the main Windows Event/Error Log, by following these steps:
	** Click Start, and then click Control Panel.
	** Click Performance and Maintenance, then click Administrative Tools, and then double-click Computer Management. Or, open the MMC containing the Event Viewer snap-in.
	** In the console tree, expand Event Viewer, and then click the log that contains the event that you want to view.
	** In the details pane, double-click the event that you want to view.
	** The Event Properties dialog box containing header information and a description of the event is displayed.

David Geleßus: Update ProB download links

2021-02-04T17:51:03Z

Update ProB download links

← Older revision		Revision as of 17:51, 4 February 2021
Line 4:		Line 4:
	=== Go to the ProB Downloads site ===		=== Go to the ProB Downloads site ===

	* Go to the page [~~http://www.stups.uni-duesseldorf.de/ProB/index.php5/Download http://www.stups.uni-duesseldorf.de/ProB/index.php5/~~Download], this should look as follows:		* Go to the page [[Download]], this should look as follows:

	[[File:ProBWindowsDownload.png\|center\|\|600px]]		[[File:ProBWindowsDownload.png\|center\|\|600px]]
Line 27:		Line 27:
	=== Download the ProB for Windows Zipfile ===		=== Download the ProB for Windows Zipfile ===

	* Click on the "~~[http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.4.1/ProB.windows.zip~~ Zipfile (with probcli)]" link in the [[~~Download\|~~Download]] column and Windows row		* Click on the "Zipfile (with probcli)" link in the [[Download]] column and Windows row
	* Decompress and expand the ProB directory if necessary. Do not change the location and structure of the files and directories within ProB (apart from the Machines directory)! The contents of the ProB directory should look something like this:		* Decompress and expand the ProB directory if necessary. Do not change the location and structure of the files and directories within ProB (apart from the Machines directory)! The contents of the ProB directory should look something like this:

Dominik Hansen: /* Install Java */

2016-03-30T15:06:34Z

Install Java

← Older revision		Revision as of 15:06, 30 March 2016
Line 20:		Line 20:
	=== Install Java ===		=== Install Java ===

	If Java 5 or newer is already installed you can skip this step.		If Java 7 or newer is already installed you can skip this step.

	* Click on the "[http://java.com/en/ Java Runtime Environment (5.0 or newer)]" link provided in the "Dependencies" column and the "Windows" row above		* Click on the "[http://java.com/en/ Java Runtime Environment (7.0 or newer)]" link provided in the "Dependencies" column and the "Windows" row above
	* Follow the installation instructions		* Follow the installation instructions


	=== Download the ProB for Windows Zipfile ===		=== Download the ProB for Windows Zipfile ===

Sebastian Krings: /* Checklist/Troubleshooting */

2015-12-14T09:15:44Z

Checklist/Troubleshooting

← Older revision		Revision as of 09:15, 14 December 2015
Line 47:		Line 47:
	=== Checklist/Troubleshooting ===		=== Checklist/Troubleshooting ===

	* Java: be sure to have Java 1.5 or newer installed. Otherwise you will not be able to parse your own classical B machines as our parser is written in Java.		* Java: be sure to have Java 1.7 or newer installed. Otherwise you will not be able to parse your own classical B machines as our parser is written in Java.

	* Tcl/Tk: be sure to have a ~~32-bit~~ version of TclTk 8.5 installed		* Tcl/Tk: be sure to have a matching version of TclTk 8.5 installed

	* In case you cannot start neither ProBWin nor probcli, you should to install the [http://www.microsoft.com/en-us/download/details.aspx?id=3387 Microsoft Visual C++ 2005 Redistributable Package (x86)] for yourself (rather than rely on the ones we provide in the "Microsoft.VC80.CRT" folder mentioned above).		* In case you cannot start neither ProBWin nor probcli, you should to install the [http://www.microsoft.com/en-us/download/details.aspx?id=3387 Microsoft Visual C++ 2005 Redistributable Package (x86)] for yourself (rather than rely on the ones we provide in the "Microsoft.VC80.CRT" folder mentioned above).

Sebastian Krings: /* Install Tcl/Tk 8.5 */

2015-12-14T09:15:11Z

Install Tcl/Tk 8.5

← Older revision		Revision as of 09:15, 14 December 2015
Line 11:		Line 11:

	If Tcl/Tk 8.5 is already installed you can skip this step.		If Tcl/Tk 8.5 is already installed you can skip this step.
	~~Note: you need to install the 32-bit version of Tcl/Tk, even on 64-bit systems.~~

	* Click on the "[http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows]," link provided in the "Dependencies" column and the "Windows" row above		* Click on the "[http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows]," link provided in the "Dependencies" column and the "Windows" row above
	* Choose the most recent Tcl/Tk 8.5 distribution available for windows; be sure to choose a 32-bit version (the file highlighted in blue below)		* Choose the most recent Tcl/Tk 8.5 distribution available for windows; be sure to choose a version matching ProB, e.g. a 32-bit version (the file highlighted in blue below) if you want to use the 32-bit version of ProB.
	* Download and follow the installation instructions		* Download and follow the installation instructions

	[[File:TkWindowsDownload.png\|center\|\|600px]]		[[File:TkWindowsDownload.png\|center\|\|600px]]


	=== Install Java ===		=== Install Java ===

Michael Leuschel: /* Download the ProB for Windows Zipfile */

2014-09-01T08:10:59Z

Download the ProB for Windows Zipfile

← Older revision		Revision as of 08:10, 1 September 2014
Line 30:		Line 30:
	=== Download the ProB for Windows Zipfile ===		=== Download the ProB for Windows Zipfile ===

	* Click on the "[http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.4.1/ProB.windows.zip Zipfile (with probcli)]" link in the [[Download Download]] column and Windows row		* Click on the "[http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.4.1/ProB.windows.zip Zipfile (with probcli)]" link in the [[Download\|Download]] column and Windows row
	* Decompress and expand the ProB directory if necessary. Do not change the location and structure of the files and directories within ProB (apart from the Machines directory)! The contents of the ProB directory should look something like this:		* Decompress and expand the ProB directory if necessary. Do not change the location and structure of the files and directories within ProB (apart from the Machines directory)! The contents of the ProB directory should look something like this:

Michael Leuschel at 08:10, 1 September 2014

2014-09-01T08:10:47Z

← Older revision		Revision as of 08:10, 1 September 2014
Line 30:		Line 30:
	=== Download the ProB for Windows Zipfile ===		=== Download the ProB for Windows Zipfile ===

	* Click on the "[http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.4.1/ProB.windows.zip Zipfile (with probcli)]" link in the Download column and Windows row		* Click on the "[http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.4.1/ProB.windows.zip Zipfile (with probcli)]" link in the [[Download Download]] column and Windows row
	* Decompress and expand the ProB directory if necessary. Do not change the location and structure of the files and directories within ProB (apart from the Machines directory)! The contents of the ProB directory should look something like this:		* Decompress and expand the ProB directory if necessary. Do not change the location and structure of the files and directories within ProB (apart from the Machines directory)! The contents of the ProB directory should look something like this:

Michael Leuschel: /* Download the ProB for Windows Zipfile */

2014-09-01T07:55:29Z

Download the ProB for Windows Zipfile

← Older revision		Revision as of 07:55, 1 September 2014
Line 30:		Line 30:
	=== Download the ProB for Windows Zipfile ===		=== Download the ProB for Windows Zipfile ===

	* Click on the "[http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.5/ProB.windows~~.32bit~~.zip Zipfile (with probcli)]" link in the Download column and Windows row		* Click on the "[http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.4.1/ProB.windows.zip Zipfile (with probcli)]" link in the Download column and Windows row
	* Decompress and expand the ProB directory if necessary. Do not change the location and structure of the files and directories within ProB (apart from the Machines directory)! The contents of the ProB directory should look something like this:		* Decompress and expand the ProB directory if necessary. Do not change the location and structure of the files and directories within ProB (apart from the Machines directory)! The contents of the ProB directory should look something like this:

Michael Leuschel: /* Checklist/Troubleshooting */

2012-10-11T15:30:59Z

Checklist/Troubleshooting

← Older revision		Revision as of 15:30, 11 October 2012
Line 53:		Line 53:
	* Tcl/Tk: be sure to have a 32-bit version of TclTk 8.5 installed		* Tcl/Tk: be sure to have a 32-bit version of TclTk 8.5 installed

	* In case you cannot start neither ProBWin nor probcli, you ~~shouldtry~~ to install the [http://www.microsoft.com/en-us/download/details.aspx?id=3387 Microsoft Visual C++ 2005 Redistributable Package (x86)] for yourself (rather than rely on the ones we provide in the "Microsoft.VC80.CRT" folder mentioned above).		* In case you cannot start neither ProBWin nor probcli, you should to install the [http://www.microsoft.com/en-us/download/details.aspx?id=3387 Microsoft Visual C++ 2005 Redistributable Package (x86)] for yourself (rather than rely on the ones we provide in the "Microsoft.VC80.CRT" folder mentioned above).

	* Try starting ProBWin or probcli from the Windows Command Prompt; the error messages may help you or us uncover the problem		* Try starting ProBWin or probcli from the Windows Command Prompt; the error messages may help you or us uncover the problem

Michael Leuschel: /* Checklist/Troubleshooting */

2012-10-11T15:30:45Z

Checklist/Troubleshooting

← Older revision		Revision as of 15:30, 11 October 2012
Line 52:		Line 52:

	* Tcl/Tk: be sure to have a 32-bit version of TclTk 8.5 installed		* Tcl/Tk: be sure to have a 32-bit version of TclTk 8.5 installed

			* In case you cannot start neither ProBWin nor probcli, you shouldtry to install the [http://www.microsoft.com/en-us/download/details.aspx?id=3387 Microsoft Visual C++ 2005 Redistributable Package (x86)] for yourself (rather than rely on the ones we provide in the "Microsoft.VC80.CRT" folder mentioned above).

	* Try starting ProBWin or probcli from the Windows Command Prompt; the error messages may help you or us uncover the problem		* Try starting ProBWin or probcli from the Windows Command Prompt; the error messages may help you or us uncover the problem

	* In case you cannot start neither ProBWin nor probcli, you may want and try to install the [http://www.microsoft.com/en-us/download/details.aspx?id=3387 Microsoft Visual C++ 2005 Redistributable Package (x86)] for yourself (rather than rely on the ones we provide in the "Microsoft.VC80.CRT" folder mentioned above.

	* You can also try and obtain information from the main Windows Event/Error Log, by following these steps:		* You can also try and obtain information from the main Windows Event/Error Log, by following these steps: