[[Category: Advanced Feature]]
7 KB (1,103 words) - 10:07, 23 February 2024
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]]
With this feature you can observe how constants get bound to values and can sometimes spot ex
13 KB (1,773 words) - 15:04, 3 June 2022
SimB also contains a feature called interactive simulation.
This feature allows user interaction to trigger a simulation.
21 KB (2,887 words) - 08:33, 15 January 2024
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,895 words) - 08:53, 9 March 2024
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,827 words) - 14:18, 23 February 2024
- 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