ProB for Event-B - Revision history

David Geleßus: Update Rodin handbook links

2021-02-04T14:51:27Z

Update Rodin handbook links

← Older revision		Revision as of 14:51, 4 February 2021
Line 12:		Line 12:
	* [[Rodin POs and ProB\| Rodin Proof Obligations and Relation to ProB]]		* [[Rodin POs and ProB\| Rodin Proof Obligations and Relation to ProB]]

	The [~~http~~://~~handbook~~.~~event-b~~.~~org~~ Rodin handbook] also contains material about ProB:		The [https://www3.hhu.de/stups/handbook/rodin/ 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 Finding Solutions to Axioms]

Michael Leuschel at 10:15, 5 March 2020

2020-03-05T10:15:32Z

← Older revision		Revision as of 10:15, 5 March 2020
Line 4:		Line 4:
	See the tutorial pages for more information about using ProB for Event-B:		See the tutorial pages for more information about using ProB for Event-B:

	* [[Tutorial Rodin First Step\|Starting ProB for Rodin and ~~first animation steps~~]]		* [[Tutorial Rodin First Step\|Starting ProB for Rodin and First Animation Steps]]
	* [[Tutorial Rodin Parameters\|Important Parameters of ProB for Rodin]]		* [[Tutorial Rodin Parameters\|Important Parameters of ProB for Rodin]]
	* [[Tutorial Rodin Exporting\|Exporting Rodin Models for ProB Classic]]		* [[Tutorial Rodin Exporting\|Exporting Rodin Models for ProB Classic]]
Line 10:		Line 10:
	* [[Tutorial Disprover\|Using the ProB (Dis-)Prover]]		* [[Tutorial Disprover\|Using the ProB (Dis-)Prover]]
	* [[Tutorial LTL Counter-example View\| Visualization of LTL Counter-examples in Rodin]]		* [[Tutorial LTL Counter-example View\| Visualization of LTL Counter-examples in Rodin]]
			* [[Rodin POs and ProB\| Rodin Proof Obligations and Relation to ProB]]

	The [http://handbook.event-b.org Rodin handbook] also contains material about ProB:		The [http://handbook.event-b.org 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]		* [http://handbook.event-b.org/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]		* [http://handbook.event-b.org/current/html/tut_populate_context.html#a0000000094 Finding Solutions to Axioms]

Michael Leuschel at 09:14, 21 January 2016

2016-01-21T09:14:44Z

← Older revision		Revision as of 09:14, 21 January 2016
Line 1:		Line 1:
	In addition to classical B (aka B for software development), ProB also supports Event-B and the Rodin platform.		In addition to classical B (aka B for software development), ProB also supports Event-B and the Rodin platform.
	ProB can be installed as a plugin for Rodin.		ProB can be installed as a plugin for Rodin. Once installed, one can [[Tutorial Rodin Exporting\|export contexts and models]] as *.eventb files and use them within ProB Tcl/Tk and the command-line version [[Using_the_Command-Line_Version_of_ProB\|probcli]].
	See the tutorial pages for more information:
			See the tutorial pages for more information about using ProB for Event-B:

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

Michael Leuschel: Created page with "In addition to classical B (aka B for software development), ProB also supports Event-B and the Rodin platform. ProB can be installed as a plugin for Rodin. See the tutorial p..."

2016-01-21T09:12:42Z

Created page with "In addition to classical B (aka B for software development), ProB also supports Event-B and the Rodin platform. ProB can be installed as a plugin for Rodin. See the tutorial p..."

New page

In addition to classical B (aka B for software development), ProB also supports Event-B and the Rodin platform.
ProB can be installed as a plugin for Rodin.
See the tutorial pages for more information:

* [[Tutorial Rodin First Step|Starting ProB for Rodin and first animation steps]]
* [[Tutorial Rodin Parameters|Important Parameters of ProB for Rodin]]
* [[Tutorial Rodin Exporting|Exporting Rodin Models for ProB Classic]]
* [[Tutorial Symbolic Constants|Using the Symbolic Contants Plugin]]
* [[Tutorial Disprover|Using the ProB (Dis-)Prover]]
* [[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:
* [http://handbook.event-b.org/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]