ProB2-UI - Revision history

David Geleßus: Remove border around video, which messes with the pixel sizes and doesn't look nice with the blank space below the embed

2026-05-07T12:52:57Z

Remove border around video, which messes with the pixel sizes and doesn't look nice with the blank space below the embed

← Older revision		Revision as of 12:52, 7 May 2026
Line 27:		Line 27:
	<!-- For some reason, the height parameter needs to be 10 pixels higher than the desired video height, and the iframe height needs to be 40 pixels higher still to prevent a vertical scrollbar in the iframe. -->		<!-- For some reason, the height parameter needs to be 10 pixels higher than the desired video height, and the iframe height needs to be 40 pixels higher still to prevent a vertical scrollbar in the iframe. -->
	<html>		<html>
	<iframe width="768" height="530~~" style="border: 1px solid #ccc;~~" frameborder="0" allowfullscreen src="https://media.hhu.de/media/embed?key=732170cf5ca368239e104bb56e29d73a&width=768&height=490&autoplay=false&autolightsoff=false&loop=false&chapters=false&related=false&responsive=true"/>		<iframe width="768" height="530" frameborder="0" allowfullscreen src="https://media.hhu.de/media/embed?key=732170cf5ca368239e104bb56e29d73a&width=768&height=490&autoplay=false&autolightsoff=false&loop=false&chapters=false&related=false&responsive=true"/>
	</html>		</html>

David Geleßus: Update demo video embed to new HHU Mediathek (mediathek.hhu.de -> media.hhu.de)

2026-05-07T12:48:12Z

Update demo video embed to new HHU Mediathek (mediathek.hhu.de -> media.hhu.de)

← Older revision		Revision as of 12:48, 7 May 2026
Line 22:		Line 22:

	We have developed a small		We have developed a small
	[https://~~mediathek~~.hhu.de/~~watch~~/~~1c7946da~~-~~3042~~-~~423f-a1c3-06833f348ec2~~ video highlighting the core features] (also on [https://youtu.be/HqTlr6y-hwk YouTube]) on a model the from [https://gitlab.cs.uni-duesseldorf.de/general/stups/visb-visualisation-examples visb-visualisation-examples]:		[https://media.hhu.de/video/prob2-ui-overview/732170cf5ca368239e104bb56e29d73a video highlighting the core features] (also on [https://youtu.be/HqTlr6y-hwk YouTube]) on a model the from [https://gitlab.cs.uni-duesseldorf.de/general/stups/visb-visualisation-examples visb-visualisation-examples]:

			<!-- Official embed URL, taken from the "twitter:player" meta tag on the video page. -->
			<!-- For some reason, the height parameter needs to be 10 pixels higher than the desired video height, and the iframe height needs to be 40 pixels higher still to prevent a vertical scrollbar in the iframe. -->
	<html>		<html>
	<iframe width=~~'570'~~ height=~~'321'~~ style=~~'width: 570px; height: 321px;~~ border: 1px solid #ccc;' src='https://~~mediathek~~.hhu.de/embed~~/1c7946da-3042-423f-a1c3-06833f348ec2' frameborder~~=~~'0' allowfullscreen><~~/~~iframe~~>		<iframe width="768" height="530" style="border: 1px solid #ccc;" frameborder="0" allowfullscreen src="https://media.hhu.de/media/embed?key=732170cf5ca368239e104bb56e29d73a&width=768&height=490&autoplay=false&autolightsoff=false&loop=false&chapters=false&related=false&responsive=true"/>
	</html>		</html>

			<!-- Unofficial manual embed, with the URLs taken from the JS player on the video page. -->
			<!-- This seems to load much quicker than the official embed, and it has no size issues, but it doesn't allow changing the video resolution. -->
			<!--
			<html>
			<video controls width="768" height="480" preload="none" poster="https://media.hhu.de/cache/3d7afd0a1fbc75fe4fc76d0be294a852.png">
			<source src="https://media.hhu.de/getMedium/732170cf5ca368239e104bb56e29d73a.mp4?format=720p" type="video/mp4"/>
			</video>
			</html>
			-->

	== Paper/Citing ==		== Paper/Citing ==

David Geleßus: /* Download */

2026-03-05T17:12:00Z

Download

← Older revision		Revision as of 17:12, 5 March 2026
Line 3:		Line 3:
	== Download ==		== Download ==

	'''[[Download#ProB2-~~UI_(based_on_JavaFX)~~\|Download the latest version of ProB2-UI here]]'''. See also the [https://github.com/hhu-stups/prob2_ui/blob/develop/doc/prob2ui_release_history.md release history].		'''[[Download#ProB2-UI\|Download the latest version of ProB2-UI here]]'''. See also the [https://github.com/hhu-stups/prob2_ui/blob/develop/doc/prob2ui_release_history.md release history].

	The source code for ProB2-UI is available at https://github.com/hhu-stups/prob2_ui and can be built by following [https://github.com/hhu-stups/prob2_ui#running-from-source these instructions].		The source code for ProB2-UI is available at https://github.com/hhu-stups/prob2_ui and can be built by following [https://github.com/hhu-stups/prob2_ui#running-from-source these instructions].

Jan Gruteser: /* Download */

2025-11-07T13:34:37Z

Download

← Older revision		Revision as of 13:34, 7 November 2025
Line 3:		Line 3:
	== Download ==		== Download ==

	'''[[Download#ProB2-UI\|Download the latest version of ProB2-UI here]]'''. See also the [https://github.com/hhu-stups/prob2_ui/blob/develop/doc/prob2ui_release_history.md release history].		'''[[Download#ProB2-UI_(based_on_JavaFX)\|Download the latest version of ProB2-UI here]]'''. See also the [https://github.com/hhu-stups/prob2_ui/blob/develop/doc/prob2ui_release_history.md release history].

	The source code for ProB2-UI is available at https://github.com/hhu-stups/prob2_ui and can be built by following [https://github.com/hhu-stups/prob2_ui#running-from-source these instructions].		The source code for ProB2-UI is available at https://github.com/hhu-stups/prob2_ui and can be built by following [https://github.com/hhu-stups/prob2_ui#running-from-source these instructions].

David Geleßus: /* Download */ Release history is now in the Git repo

2023-06-20T15:58:38Z

Download: Release history is now in the Git repo

← Older revision		Revision as of 15:58, 20 June 2023
Line 3:		Line 3:
	== Download ==		== Download ==

	'''[[Download#ProB2-UI\|Download the latest version of ProB2-UI here]]'''. See also the [~~[ProB2~~-~~UI Release History\|~~release history]].		'''[[Download#ProB2-UI\|Download the latest version of ProB2-UI here]]'''. See also the [https://github.com/hhu-stups/prob2_ui/blob/develop/doc/prob2ui_release_history.md release history].

	The source code for ProB2-UI is available at https://github.com/hhu-stups/prob2_ui and can be built by following [https://github.com/hhu-stups/prob2_ui#running-from-source these instructions].		The source code for ProB2-UI is available at https://github.com/hhu-stups/prob2_ui and can be built by following [https://github.com/hhu-stups/prob2_ui#running-from-source these instructions].

David Geleßus: /* Download */

2022-03-21T12:16:39Z

Download

← Older revision		Revision as of 12:16, 21 March 2022
Line 3:		Line 3:
	== Download ==		== Download ==

	'''[[Download#ProB2-UI ~~using Java FX~~\|Download the latest version of ProB2-UI here]]'''. See also the [[ProB2-UI Release History\|release history]].		'''[[Download#ProB2-UI\|Download the latest version of ProB2-UI here]]'''. See also the [[ProB2-UI Release History\|release history]].

	The source code for ProB2-UI is available at https://github.com/hhu-stups/prob2_ui and can be built by following [https://github.com/hhu-stups/prob2_ui#running-from-source these instructions].		The source code for ProB2-UI is available at https://github.com/hhu-stups/prob2_ui and can be built by following [https://github.com/hhu-stups/prob2_ui#running-from-source these instructions].

David Geleßus: /* Download */ Linked to build instructions in repo instead of wiki

2022-03-21T11:29:02Z

Download: Linked to build instructions in repo instead of wiki

← Older revision		Revision as of 11:29, 21 March 2022
Line 5:		Line 5:
	'''[[Download#ProB2-UI using Java FX\|Download the latest version of ProB2-UI here]]'''. See also the [[ProB2-UI Release History\|release history]].		'''[[Download#ProB2-UI using Java FX\|Download the latest version of ProB2-UI here]]'''. See also the [[ProB2-UI Release History\|release history]].

	The source code for ProB2-UI is available at https://github.com/hhu-stups/prob2_ui and can be built by following [~~[Download~~#~~Building ProB2~~-UI from source\|these instructions]].		The source code for ProB2-UI is available at https://github.com/hhu-stups/prob2_ui and can be built by following [https://github.com/hhu-stups/prob2_ui#running-from-source these instructions].

	== Features ==		== Features ==

David Geleßus: Move citation out of the way and add Springer Link link

2022-03-21T11:11:19Z

Move citation out of the way and add Springer Link link

@@ Line 1: / Line 1: @@
 '''ProB2-UI''' is the new Java-based user interface for ProB. __NOTOC__
 == Download ==
@@ Line 53: / Line 27: @@
 <iframe width='570' height='321' style='width: 570px; height: 321px; border: 1px solid #ccc;' src='https://mediathek.hhu.de/embed/1c7946da-3042-423f-a1c3-06833f348ec2' frameborder='0' allowfullscreen></iframe>
 </html>
 == The ProB2-UI Main Window ==

Fabian Vu at 10:12, 27 August 2021

2021-08-27T10:12:13Z

← Older revision		Revision as of 10:12, 27 August 2021
Line 5:		Line 5:
	Citation:		Citation:

	~~```~~		<pre>
	@InProceedings{prob2ui,		@InProceedings{prob2ui,
	author="Bendisposto, Jens		author="Bendisposto, Jens
Line 25:		Line 25:
	isbn="978-3-030-85248-1"		isbn="978-3-030-85248-1"
	}		}
	~~```~~		</pre>

	== Download ==		== Download ==

Fabian Vu at 10:11, 27 August 2021

2021-08-27T10:11:11Z

← Older revision		Revision as of 10:11, 27 August 2021
Line 1:		Line 1:
	'''ProB2-UI''' is the new Java-based user interface for ProB. __NOTOC__		'''ProB2-UI''' is the new Java-based user interface for ProB. __NOTOC__

			Paper: https://www.researchgate.net/publication/353989368_ProB2-UI_A_Java-Based_User_Interface_for_ProB

			Citation:

			```
			@InProceedings{prob2ui,
			author="Bendisposto, Jens
			and Gele{\ss}us, David
			and Jansing, Yumiko
			and Leuschel, Michael
			and P{\"u}tz, Antonia
			and Vu, Fabian
			and Werth, Michelle",
			editor="Lluch Lafuente, Alberto
			and Mavridou, Anastasia",
			title="ProB2-UI: A Java-Based User Interface for ProB",
			booktitle="Formal Methods for Industrial Critical Systems",
			year="2021",
			publisher="Springer International Publishing",
			address="Cham",
			pages="193--201",
			abstract="ProB2-UI is a modern JavaFX-based user interface for the animator, constraint solver, and model checker ProB. We present the main features of the tool, especially compared to ProB's previous user interfaces and other available tools for B, Event-B, and other formalisms. We also present some of ProB2-UI's history as well as its uses in the industry since its release in 2019.",
			isbn="978-3-030-85248-1"
			}
			```

	== Download ==		== Download ==