Uses of Package
net.automatalib.modelchecker.ltsmin

Packages that use net.automatalib.modelchecker.ltsmin

Package	Description
net.automatalib.modelchecker.ltsmin	This package (and sub-packages) provides the integration of the model checker LTSmin as described in the paper Sound Black-Box Checking in the LearnLib by Jeroen Meijer and Jaco van de Pol.
net.automatalib.modelchecker.ltsmin.ltl
net.automatalib.modelchecker.ltsmin.monitor

Classes in net.automatalib.modelchecker.ltsmin used by net.automatalib.modelchecker.ltsmin

Class	Description
LTSmin	An LTSmin model checker.
LTSminMealy	A feature of this ModelChecker, is that one can remove particular output symbols from the given MealyMachine hypothesis.
LTSminVersion	A class for describing LTSmin version.

Classes in net.automatalib.modelchecker.ltsmin used by net.automatalib.modelchecker.ltsmin.ltl

Class	Description
AbstractLTSmin	An LTL model checker using LTSmin.
LTSmin	An LTSmin model checker.
LTSminAlternating	A model checker using LTSmin for Mealy machines using alternating edge semantics.
LTSminDFA	A model checker using LTSmin for DFAs.
LTSminIO	A model checker using LTSmin for Mealy machines using synchronous edge semantics.
LTSminMealy	A feature of this ModelChecker, is that one can remove particular output symbols from the given MealyMachine hypothesis.
LTSminVersion	A class for describing LTSmin version.

Classes in net.automatalib.modelchecker.ltsmin used by net.automatalib.modelchecker.ltsmin.monitor

Class	Description
AbstractLTSmin	An LTL model checker using LTSmin.
LTSmin	An LTSmin model checker.
LTSminAlternating	A model checker using LTSmin for Mealy machines using alternating edge semantics.
LTSminDFA	A model checker using LTSmin for DFAs.
LTSminIO	A model checker using LTSmin for Mealy machines using synchronous edge semantics.
LTSminMealy	A feature of this ModelChecker, is that one can remove particular output symbols from the given MealyMachine hypothesis.
LTSminVersion	A class for describing LTSmin version.