4.0.0 net.automatalib automata-modelchecking-parent 13.0.0 ../pom.xml automata-modelchecking-ltsmin AutomataLib :: Model Checking :: LTSmin This artifact provides the integration of the model checker "LTSmin" (https://ltsmin.utwente.nl/) as described in the paper "Sound Black-Box Checking in the LearnLib" (https://doi.org/10.1007/s11334-019-00342-6) by Jeroen Meijer and Jaco van de Pol. Note that this implementation requires a local installation of the LTSmin binaries (see https://ltsmin.utwente.nl/) which are not explicitly included in this artifact due to packaging reasons. net.automatalib automata-api net.automatalib automata-commons-settings net.automatalib automata-commons-util net.automatalib automata-core net.automatalib automata-serialization-etf net.automatalib automata-serialization-fsm net.automatalib automata-util org.slf4j slf4j-api de.learnlib.tooling annotations org.checkerframework checker-qual net.automatalib automata-serialization-taf test org.testng testng org.codehaus.mojo javacc-maven-plugin