Uses of Package
net.automatalib.modelchecking
-
Packages that use net.automatalib.modelchecking 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 net.automatalib.modelchecker.m3c.solver net.automatalib.modelchecking -
Classes in net.automatalib.modelchecking used by net.automatalib.modelchecker.ltsmin Class Description ModelChecker A model-checker checks whether a given automaton satisfies a given property.ModelChecker.DFAModelChecker ModelChecker.MealyModelChecker A model checker for Mealy machines. -
Classes in net.automatalib.modelchecking used by net.automatalib.modelchecker.ltsmin.ltl Class Description Lasso A lasso is a single infinite word.Lasso.DFALasso A DFALasso is a lasso forDFA
s.Lasso.MealyLasso A MealyLasso is a lasso forMealyMachine
s.ModelChecker A model-checker checks whether a given automaton satisfies a given property.ModelChecker.DFAModelChecker ModelChecker.MealyModelChecker A model checker for Mealy machines.ModelCheckerLasso A model checker where the counterexample is a lasso.ModelCheckerLasso.DFAModelCheckerLasso ModelCheckerLasso.MealyModelCheckerLasso -
Classes in net.automatalib.modelchecking used by net.automatalib.modelchecker.ltsmin.monitor Class Description ModelChecker A model-checker checks whether a given automaton satisfies a given property.ModelChecker.DFAModelChecker ModelChecker.MealyModelChecker A model checker for Mealy machines. -
Classes in net.automatalib.modelchecking used by net.automatalib.modelchecker.m3c.solver Class Description ModelChecker A model-checker checks whether a given automaton satisfies a given property. -
Classes in net.automatalib.modelchecking used by net.automatalib.modelchecking Class Description AbstractLasso Lasso A lasso is a single infinite word.Lasso.DFALasso A DFALasso is a lasso forDFA
s.Lasso.MealyLasso A MealyLasso is a lasso forMealyMachine
s.ModelChecker A model-checker checks whether a given automaton satisfies a given property.ModelChecker.DFAModelChecker ModelChecker.MealyModelChecker A model checker for Mealy machines.ModelCheckerCache A model checker that caches calls toModelChecker.findCounterExample(Object, Collection, Object)
.ModelCheckerCache.DFAModelCheckerCache ModelCheckerCache.MealyModelCheckerCache ModelCheckerLasso A model checker where the counterexample is a lasso.ModelCheckerLasso.DFAModelCheckerLasso ModelCheckerLasso.MealyModelCheckerLasso ModelCheckerLassoCache ModelCheckerLassoCache.DFAModelCheckerLassoCache ModelCheckerLassoCache.MealyModelCheckerLassoCache