ProB 1.9.0 released

11 views
Skip to first unread message

Michael Leuschel

unread,
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:
https://www3.hhu.de/stups/prob
or directly at
https://www3.hhu.de/stups/prob/index.php/Download#Latest_Release

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:
https://www3.hhu.de/stups/prob/index.php/Download#ProB2_UI_using_Java_FX

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
(http://www.stups.hhu.de/prob_updates_rodin3).
More detailed installation instructions and a brief tutorial can be found here:
http://www.stups.hhu.de/ProB/index.php5/Tutorial_Rodin_First_Step

You can now create Jupyter Notebooks in B using the ProB Jupyter Kernel:
https://www3.hhu.de/stups/prob/index.php/Download#ProB_Jupyter_Kernel

A new release of the ProB Java API (also known as ProB2) has also been published.
The Maven information is:
<dependency>
<groupId>de.hhu.stups</groupId>
<artifactId>de.prob2.kernel</artifactId>
<version>3.9.9</version>
</dependency>

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


Best regards,
The ProB team
https://www3.hhu.de/stups/prob/index.php/Team

Reply all
Reply to author
Forward
0 new messages