Module net.automatalib.modelchecker.ltsmin

Package net.automatalib.modelchecker.ltsmin

package net.automatalib.modelchecker.ltsmin

Related Packages

Package	Description
net.automatalib.modelchecker.ltsmin.ltl
net.automatalib.modelchecker.ltsmin.monitor

Class	Description
AbstractLTSmin<I,A,R>	An LTL model checker using LTSmin.
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>	A model checker using LTSmin for Mealy machines using synchronous edge semantics.
LTSminLTLParser	A parser that verifies the syntax of LTL formulae of LTSmin.
LTSminMealy<I,O,R>	A feature of this ModelChecker, is that one can remove particular output symbols from the given MealyMachine hypothesis.
LTSminUtil	A utility class that encapsulates certain technical aspects of LTSmin (e.g. accessibility of the binary, etc.)
LTSminVersion	A record for describing LTSmin versions.