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