(Created page with 'This tutorial describes the use of ProB's evaluation view to explore single states of a model.') |
No edit summary |
||
| Line 1: | Line 1: | ||
This tutorial describes the use of ProB's evaluation view to explore single states of a model. | This tutorial describes the use of ProB's evaluation view to explore single states of a model. | ||
== What is the Evaluation View? == | |||
== Invoking the View == | |||
== Filtering relevant information == | |||
== Data Extraction == | |||
This tutorial describes the use of ProB's evaluation view to explore single states of a model.