ProB 1.9.0 released

Skip to first unread message

Michael Leuschel

Jul 18, 2019, 10:23:38 AM7/18/19
to ProB Users
ProB 1.9.0

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
regular expressions
- 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

The full release history can be found here:

Best regards,
The ProB team

Reply all
Reply to author
0 new messages