Verification View
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
The Verification View provides 3 different methods to test a machine:
In each tab you can add multiple tests to check you currently selected machine.