Package | Description |
---|---|
net.automatalib.modelcheckers.ltsmin.ltl |
Modifier and Type | Class and Description |
---|---|
class |
LTSminLTLAlternating<I,O>
An LTL model checker using LTSmin for Mealy machines using alternating edge semantics.
|
class |
LTSminLTLIO<I,O>
An LTL model checker using LTSmin for Mealy machines using synchronous edge semantics.
|
Copyright © 2020. All rights reserved.