Tutorial - Revision history

Michael Leuschel at 06:50, 22 February 2025

2025-02-22T06:50:45Z

← Older revision		Revision as of 06:50, 22 February 2025
Line 55:		Line 55:

	* [[Tutorial CSP First Step\|Starting ProB for CSP and first animation steps]]		* [[Tutorial CSP First Step\|Starting ProB for CSP and first animation steps]]


	The following tutorials concern older versions of ProB.		The following tutorials concern older versions of ProB.
Line 65:		Line 66:
	*[[Tutorial Co-Simulation]]		*[[Tutorial Co-Simulation]]

	We also have a [http://www.stups.uni-duesseldorf.de/bmotionstudio/index.php/User_Guide/Tutorial tutorial for B Motion Studio].		We also have a [http://www.stups.uni-duesseldorf.de/bmotionstudio/index.php/User_Guide/Tutorial tutorial for B Motion Studio], but we now recommend you use [[VisB]] instead.

	{{Feedback}}		{{Feedback}}

Michael Leuschel at 16:21, 2 October 2021

2021-10-02T16:21:07Z

← Older revision		Revision as of 16:21, 2 October 2021
Line 22:		Line 22:
	* [[Tutorial Understanding ProB's Constraint Solver]]		* [[Tutorial Understanding ProB's Constraint Solver]]
	* [[Tutorial Debugging Well-Definedness and Transition Errors]]		* [[Tutorial Debugging Well-Definedness and Transition Errors]]
			* [[Tips for Large Specifications]]

	Advanced Validation with ProB:		Advanced Validation with ProB:

Michael Leuschel at 13:42, 28 May 2021

2021-05-28T13:42:03Z

← Older revision		Revision as of 13:42, 28 May 2021
Line 12:		Line 12:
	* [[Tutorial First Model Checking\|First steps in model checking]]		* [[Tutorial First Model Checking\|First steps in model checking]]
	* [[Tutorial Complete Model Checking\|Complete model checking]]		* [[Tutorial Complete Model Checking\|Complete model checking]]
			* [[Tutorial Tuning Model Checking\|How to tune model checking]]

	Understanding ProB's Animation and Constraint Solving along with Tips:		Understanding ProB's Animation and Constraint Solving along with Tips:

Michael Leuschel at 16:27, 27 January 2021

2021-01-27T16:27:53Z

← Older revision		Revision as of 16:27, 27 January 2021
Line 45:		Line 45:
	* [[Tutorial LTL Counter-example View\| Visualization of LTL Counter-examples in Rodin]]		* [[Tutorial LTL Counter-example View\| Visualization of LTL Counter-examples in Rodin]]

	The [~~http~~://handbook.~~event-b.org~~ Rodin handbook] also contains material about ProB:		The [https://www3.hhu.de/stups/handbook/rodin/current/html/index.html Rodin handbook] also contains material about ProB:
	* [~~http~~://~~handbook~~.~~event-b~~.~~org~~/current/html/tut_building_the_model.html#tut:prob Finding Invariant Violations with ProB]		* [https://www3.hhu.de/stups/handbook/rodin/current/html/tut_building_the_model.html#tut:prob Finding Invariant Violations with ProB]
	* [~~http~~://~~handbook~~.~~event-b~~.~~org~~/current/html/tut_populate_context.html#a0000000094 Finding Solutions to Axioms]		* [https://www3.hhu.de/stups/handbook/rodin/current/html/tut_populate_context.html#a0000000094 Finding Solutions to Axioms]

Michael Leuschel at 12:48, 9 July 2019

2019-07-09T12:48:30Z

← Older revision		Revision as of 12:48, 9 July 2019
Line 49:		Line 49:
	* [http://handbook.event-b.org/current/html/tut_populate_context.html#a0000000094 Finding Solutions to Axioms]		* [http://handbook.event-b.org/current/html/tut_populate_context.html#a0000000094 Finding Solutions to Axioms]

	~~Furthermore, there are several tutorials on the physical units plugin:~~
	* [[Tutorial Unit Plugin\|Using the Physical Units Plugin inside ProB]]
	* [[Tutorial Unit Plugin With Rodin\|Analysing Physical Units with ProB for Rodin]]

	For ProB for CSP, the following presents a gentle introduction:		For ProB for CSP, the following presents a gentle introduction:

	* [[Tutorial CSP First Step\|Starting ProB for CSP and first animation steps]]		* [[Tutorial CSP First Step\|Starting ProB for CSP and first animation steps]]

			The following tutorials concern older versions of ProB.

			There are two tutorials on the physical units plugin (which is no longer supported as of ProB 1.9.0):
			* [[Tutorial Unit Plugin\|Using the Physical Units Plugin inside ProB]]
			* [[Tutorial Unit Plugin With Rodin\|Analysing Physical Units with ProB for Rodin]]

	For Co-Simulation we have this tutorial:		For Co-Simulation we have this tutorial:

Michael Leuschel at 12:46, 9 July 2019

2019-07-09T12:46:08Z

← Older revision		Revision as of 12:46, 9 July 2019
Line 10:		Line 10:

	* [[Tutorial First Step\|Starting ProB and first animation steps]]		* [[Tutorial First Step\|Starting ProB and first animation steps]]
	* [[Tutorial Animation Tips\|Some animation tips (dealing with large parameter values,...)]]
	* [[Tutorial First Model Checking\|First steps in model checking]]		* [[Tutorial First Model Checking\|First steps in model checking]]
	* [[Tutorial Complete Model Checking\|Complete model checking]]		* [[Tutorial Complete Model Checking\|Complete model checking]]

			Understanding ProB's Animation and Constraint Solving along with Tips:

	* [[Tutorial Setup Phases\|Understanding the ProB Setup Phases]]		* [[Tutorial Setup Phases\|Understanding the ProB Setup Phases]]
			* [[Tutorial Animation Tips\|Some animation tips (dealing with large parameter values,...)]]
	* [[Tutorial Troubleshooting the Setup]]		* [[Tutorial Troubleshooting the Setup]]
	* [[Tutorial Understanding the Complexity of B Animation]]		* [[Tutorial Understanding the Complexity of B Animation]]
Line 19:		Line 22:
	* [[Tutorial Debugging Well-Definedness and Transition Errors]]		* [[Tutorial Debugging Well-Definedness and Transition Errors]]

	Advanced Validation with ProB		Advanced Validation with ProB:

	* [[Tutorial Directed Model Checking\|Directed model checking]]		* [[Tutorial Directed Model Checking\|Directed model checking]]

Michael Leuschel at 12:44, 9 July 2019

2019-07-09T12:44:15Z

← Older revision		Revision as of 12:44, 9 July 2019
Line 13:		Line 13:
	* [[Tutorial First Model Checking\|First steps in model checking]]		* [[Tutorial First Model Checking\|First steps in model checking]]
	* [[Tutorial Complete Model Checking\|Complete model checking]]		* [[Tutorial Complete Model Checking\|Complete model checking]]
	* [[Tutorial Directed Model Checking\|Directed model checking]]
	* [[Tutorial Setup Phases\|Understanding the ProB Setup Phases]]		* [[Tutorial Setup Phases\|Understanding the ProB Setup Phases]]
	* [[Tutorial Troubleshooting the Setup]]		* [[Tutorial Troubleshooting the Setup]]
Line 20:		Line 19:
	* [[Tutorial Debugging Well-Definedness and Transition Errors]]		* [[Tutorial Debugging Well-Definedness and Transition Errors]]

			Advanced Validation with ProB

			* [[Tutorial Directed Model Checking\|Directed model checking]]
	* [[Tutorial Enabling Analysis]]		* [[Tutorial Enabling Analysis]]
	* [[Tutorial Model Checking with Various Optimizations\|Tutorial Various Optimizations]]		* [[Tutorial Model Checking with Various Optimizations\|Tutorial Various Optimizations]]
			* [[Tutorial Model Checking, Proof and CBC\|Model Checking, Proof and Constraint-Based Checking]]
			* [[Tutorial Model-Based Testing\|Tutorial on Model-Based Testing]]

			Other Tutorials:
	* [[Evaluation View\|Tutorial on using the Evaluation View]]		* [[Evaluation View\|Tutorial on using the Evaluation View]]
	* [[Eval Console\|Tutorial on using the Eval Console]]		* [[Eval Console\|Tutorial on using the Eval Console]]

	* [[Tutorial Model Checking, Proof and CBC\|Model Checking, Proof and Constraint-Based Checking]]
	* [[Tutorial Model-Based Testing\|Tutorial on Model-Based Testing]]

	* [[Using the Command-Line Version of ProB]]

	* [[Tutorial Modeling Infinite Datatypes]]		* [[Tutorial Modeling Infinite Datatypes]]

	*[[Tutorial Co-Simulation]]

	* [[ProB Examples\|Some Example Specifications and their Validation with ProB]]		* [[ProB Examples\|Some Example Specifications and their Validation with ProB]]

Line 57:		Line 53:

	* [[Tutorial CSP First Step\|Starting ProB for CSP and first animation steps]]		* [[Tutorial CSP First Step\|Starting ProB for CSP and first animation steps]]

			For Co-Simulation we have this tutorial:
			*[[Tutorial Co-Simulation]]

	We also have a [http://www.stups.uni-duesseldorf.de/bmotionstudio/index.php/User_Guide/Tutorial tutorial for B Motion Studio].		We also have a [http://www.stups.uni-duesseldorf.de/bmotionstudio/index.php/User_Guide/Tutorial tutorial for B Motion Studio].

	{{Feedback}}		{{Feedback}}

Ivaylo Dobrikov at 12:52, 26 January 2016

2016-01-26T12:52:59Z

← Older revision		Revision as of 12:52, 26 January 2016
Line 19:		Line 19:
	* [[Tutorial Understanding ProB's Constraint Solver]]		* [[Tutorial Understanding ProB's Constraint Solver]]
	* [[Tutorial Debugging Well-Definedness and Transition Errors]]		* [[Tutorial Debugging Well-Definedness and Transition Errors]]

			* [[Tutorial Enabling Analysis]]
	* [[Tutorial Model Checking with Various Optimizations\|Tutorial Various Optimizations]]		* [[Tutorial Model Checking with Various Optimizations\|Tutorial Various Optimizations]]

Michael Leuschel at 09:58, 17 April 2015

2015-04-17T09:58:52Z

← Older revision		Revision as of 09:58, 17 April 2015
Line 13:		Line 13:
	* [[Tutorial First Model Checking\|First steps in model checking]]		* [[Tutorial First Model Checking\|First steps in model checking]]
	* [[Tutorial Complete Model Checking\|Complete model checking]]		* [[Tutorial Complete Model Checking\|Complete model checking]]
			* [[Tutorial Directed Model Checking\|Directed model checking]]
	* [[Tutorial Setup Phases\|Understanding the ProB Setup Phases]]		* [[Tutorial Setup Phases\|Understanding the ProB Setup Phases]]
	* [[Tutorial Troubleshooting the Setup]]		* [[Tutorial Troubleshooting the Setup]]

Ivaylo Dobrikov at 17:31, 16 March 2015

2015-03-16T17:31:08Z

← Older revision		Revision as of 17:31, 16 March 2015
Line 18:		Line 18:
	* [[Tutorial Understanding ProB's Constraint Solver]]		* [[Tutorial Understanding ProB's Constraint Solver]]
	* [[Tutorial Debugging Well-Definedness and Transition Errors]]		* [[Tutorial Debugging Well-Definedness and Transition Errors]]
	* [[Tutorial Model Checking with Various Optimizations]]		* [[Tutorial Model Checking with Various Optimizations\|Tutorial Various Optimizations]]

	* [[Evaluation View\|Tutorial on using the Evaluation View]]		* [[Evaluation View\|Tutorial on using the Evaluation View]]

← Older revision		Revision as of 09:58, 17 April 2015
Line 13:		Line 13:
	* [[Tutorial First Model Checking\|First steps in model checking]]		* [[Tutorial First Model Checking\|First steps in model checking]]
	* [[Tutorial Complete Model Checking\|Complete model checking]]		* [[Tutorial Complete Model Checking\|Complete model checking]]
			* [[Tutorial Directed Model Checking\|Directed model checking]]
	* [[Tutorial Setup Phases\|Understanding the ProB Setup Phases]]		* [[Tutorial Setup Phases\|Understanding the ProB Setup Phases]]
	* [[Tutorial Troubleshooting the Setup]]		* [[Tutorial Troubleshooting the Setup]]