This tutorial describes the use of ProB's evaluation view to explore single states of a model.
The view shows the details of a particular state during the animation. It can be used to
- learn about the values of a some variables. This feature is overlapping with the State Properties View in the bottom left section of ProB's main window, but the evaluation view allows to inspect a value in greater detail. In particular the used can inspect the sub-expressions
- understand the truth value of the invariant and its sub-formulas and the values of the sub-expressions.
- export the content of variables in a state to use them outside of ProB.
Invoking the View
Filtering relevant information