Help

Verification View

Revision as of 06:51, 4 October 2017 by Yumiko Takahashi (talk | contribs)

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

LTL Verifications

LTL.png

Constraint Based Checking

CBC.png
Retrieved from "https://prob.hhu.de/w/index.php?title=Verification_View&oldid=3860"