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 difference)
|
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.