We are happy to announce version 1.9.0 of the animator and model checker ProB.
The command-line version and the standalone Tcl/Tk version of ProB
are available for download at the ProB website:
or directly at
We are also releasing for the first time the new user-interface based on JavaFX.
Version 1.0.0 of this UI is available at:
This new user interface of ProB can directly load Rodin models from Rodin workspaces, but
ProB is also still available as Plug-In for the Rodin platform.
To install ProB for Rodin,
first download Rodin 3.3 or 3.4,
choose Help -> Install New Software and
simply choose the pre-configured ProB update site
More detailed installation instructions and a brief tutorial can be found here:
You can now create Jupyter Notebooks in B using the ProB Jupyter Kernel:
A new release of the ProB Java API (also known as ProB2) has also been published.
The Maven information is:
A lot of work went in these releases; here are a few recent
improvements made to ProB:
- improved error feedback (fuzzy matching of identifiers, parser messages
for common errors, more precise error locations)
- improved Unicode support, e.g., allowing to use Unicode versions of all B operators,
allow btrue, bfalse and Unicode versions thereof (0x22A4,0x22A5) as predicates,
allow identifiers with Unicode letters and with Unicode subscripts and primes at end
- new external functions (stdlib/LibraryRegex.def) for matching, searching and replacing using
- memoization of functions using the /*@desc memo */ pragma in the ABSTRACT_CONSTANTS section
- many performance improvements
- more support for Atelier-B Event-B machines
- support for Alloy models
- support Jupyter kernel,
- terminal colour support
This version of ProB is no longer available for 32-bit systems.
For 32-bit version you have to look at https://www3.hhu.de/stups/prob/index.php/DownloadPriorVersions
The full release history can be found here: https://www3.hhu.de/stups/prob/index.php/ProB_Release_History
The ProB team