Package abc.ltl

Language extension for LTL Runtime Verification.

See:
          Description

Class Summary
AbcExtension  
ExtensionInfo Extension information for LTL extension.
LTLDebug  
Topics Extension information for ltl extension.
Util  
Version Version information for ltl extension
 

Package abc.ltl Description

Language extension for LTL Runtime Verification.