This feature is available in ProB 1.5.0 or newer.
Alternatively, you can set this preference using the "Advanced Preferences" pane in the Preferences menu.
...
6 KB (943 words) - 08:37, 3 May 2023
[[Category: Advanced Feature]]
...
7 KB (1,163 words) - 13:44, 12 November 2016
[[Category: Advanced Feature]]
...
8 KB (1,234 words) - 05:36, 2 April 2025
[[Category: Advanced Feature]]
With this feature you can observe how constants get bound to values and can sometimes spot ex
...
18 KB (2,546 words) - 17:27, 6 March 2025
...m/hhu-stups/prob2_ui/blob/develop/src/main/helpsources/help_en/Main%20Menu/Advanced/SimB.md SimB Documentation]
SimB also contains a feature called interactive simulation.
...
21 KB (2,932 words) - 18:46, 19 February 2025
A feature that is similar to the assertions is the notion of a goal. A goal is a macr
...a goal without defining it explicitly in the B specification. The "Verify|Advanced Find..." command enables the user to type a predicate directly in a text fi
...
12 KB (2,004 words) - 17:22, 4 February 2021
'''VisB''' is a visualisation feature of ProB based on SVG graphics and HTML.
# In the "Advanced" menu of ProB2-UI, choose "Plugin Menu".
...
26 KB (4,065 words) - 14:28, 18 June 2025
You can either go to System -> Settings -> Advanced -> Environment Variables
Also, some of the feature require the table extension, which can be installed like this:
...
25 KB (3,826 words) - 11:43, 27 June 2025
- new interactive trace replay feature in ProB Tcl/Tk and ProB2-UI to replay .prob2trace files
- new feature to export history to HTML file with graphical visualizations
...
84 KB (12,938 words) - 11:29, 27 June 2025