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 11: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

Modelchecking.png