Interface | Description |
---|---|
LTSmin<I,A,R> |
An LTSmin model checker.
|
LTSminAlternating<I,O,R> |
A model checker using LTSmin for Mealy machines using alternating edge semantics.
|
LTSminDFA<I,R> |
A model checker using LTSmin for DFAs.
|
LTSminIO<I,O,R> |
An model checker using LTSmin for Mealy machines using synchronous edge semantics.
|
LTSminMealy<I,O,R> |
A feature of this
ModelChecker , is that one can remove particular output
symbols from the a given MealyMachine hypothesis. |
Class | Description |
---|---|
AbstractLTSmin<I,A,R> |
An LTL model checker using LTSmin.
|
AbstractLTSmin.BuilderDefaults | |
LTSminLTLParser |
A parser that verifies the syntax of LTL formulae of LTSmin.
|
LTSminUtil |
A utility class that encapsulates certain technical aspects of LTSmin (e.g. accessibility of the binary, etc.)
|
LTSminVersion |
A class for describing LTSmin version.
|
Exception | Description |
---|---|
ParseException |
This exception is thrown when parse errors are encountered.
|
Copyright © 2020. All rights reserved.