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".
25 KB (3,955 words) - 13:58, 24 February 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,780 words) - 10:34, 20 February 2025
- new feature to export history to HTML file with graphical visualizations
- new feature: CSP in-situ refinement checking, divergence, determinism
76 KB (11,706 words) - 14:34, 22 February 2024