Verification View: Difference between revisions
No edit summary |
No edit summary |
||
| Line 5: | Line 5: | ||
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== | ==Modelchecking== | ||
[[File:Modelchecking.png]] | [[File:Modelchecking.png|left]] | ||
==LTL Verifications== | |||
[[File:LTL.png|left]] | |||
==Constraint Based Checking== | |||
[[File:CBC.png|left]] | |||
Revision as of 06:51, 4 October 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
LTL Verifications
Constraint Based Checking
