Verification View: Difference between revisions
Created page with "The Verification View provides 3 different methods to test a machine: *Modelchecking *LTL Verifications and *Constraint Based Checking In each tab you can add multiple tests t..." |
No edit summary |
||
| Line 4: | Line 4: | ||
*Constraint Based Checking | *Constraint Based Checking | ||
In each tab you can add multiple tests to check you currently selected machine. | In each tab you can add multiple tests to check you currently selected machine. | ||
==Modelchecking== | |||
[[File:Modelchecking.png]] | |||
Revision as of 09:11, 27 September 2017
The Verification View provides 3 different methods to test a machine:
- Modelchecking
- LTL Verifications and
- Constraint Based Checking
In each tab you can add multiple tests to check you currently selected machine.
Modelchecking
