All Packages
-
Package Summary 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