ProB2-UI is a modern JavaFX-based user interface for the animator, constraint solver, and model checker ProB. In addition to the B-method, ProB also supports Event-B, CSP-M, TLA+, and Z.
Pre-built binaries for the ProB 2 UI can be downloaded here.
Documentation can be found inside the application (Help menu). A short overview can be found on our wiki.
ProB 2 UI requires Java 17 or later. The last version compatible with older Java versions (down to Java 8) is ProB 2 UI 1.2.1.
Any OpenJDK 17 distribution can be used (we test with Eclipse Adoptium). JavaFX is included as a regular library dependency and does not need to be installed manually.
The ProB 2 UI can be started from source using the Gradle run task (./gradlew run on Linux/macOS/etc., .\gradlew run on Windows).
Building the ProB 2 UI from source requires Pandoc to generate the help files for the UI's built-in help function. Pandoc is available from all popular package managers, or as an installer from the Pandoc website.
If you want to build the UI without installing Pandoc, you can pass the option --exclude-task createHelp to Gradle to skip the help build. The UI is fully functional without the built help files, except that the help window will have no content.
Paper: Springer Link, ResearchGate
BibTeX 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"
}