[[Category: Advanced Feature]]
7 KB (1,085 words) - 09:18, 11 March 2022
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
More recently, a SimB is extended by a new feature, called interactive simulation.
This feature allows user interaction to trigger a simulation.
15 KB (2,118 words) - 13:21, 28 March 2023
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".
23 KB (3,641 words) - 07:35, 31 July 2023
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:
24 KB (3,779 words) - 14:18, 15 August 2023
- new feature to export history to HTML file with graphical visualizations
- new feature: CSP in-situ refinement checking, divergence, determinism
73 KB (11,201 words) - 06:47, 11 August 2023