Home » net.automatalib » automata-modelchecking-ltsmin » 0.12.1

AutomataLib :: Model Checking :: LTSmin » 0.12.1

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.

LicenseApache 2.0
Tagsautomata
DateMar 11, 2025
Filespom (4 KB)  jar (67 KB)  View All
RepositoriesCentral
Ranking#205528 in MvnRepository (See Top Artifacts)
Used By2 artifacts

Scope:
Scope:
Format:
Scope:
Scope:
Scope:
Scope:
Scope:
Scope:

Compile Dependencies (8)

Category/License Group / ArtifactVersionUpdates

Apache 2.0		net.automatalib » automata-api 0.12.1 ✔

Apache 2.0		net.automatalib » automata-commons-settings 0.12.1 ✔

Apache 2.0		net.automatalib » automata-commons-util 0.12.1 ✔

Apache 2.0		net.automatalib » automata-core 0.12.1 ✔

Apache 2.0		net.automatalib » automata-serialization-etf 0.12.1 ✔

Apache 2.0		net.automatalib » automata-serialization-fsm 0.12.1 ✔

Apache 2.0		net.automatalib » automata-util 0.12.1 ✔
Logging
MIT		org.slf4j » slf4j-api 2.0.162.0.17

Provided Dependencies (2)

Category/License Group / ArtifactVersionUpdates

Apache 2.0		de.learnlib.tooling » annotations 0.1.1 ✔
Defect Detection
MIT		org.checkerframework » checker-qual 3.48.33.49.2

Test Dependencies (2)

Category/License Group / ArtifactVersionUpdates

Apache 2.0		net.automatalib » automata-serialization-taf 0.12.1 ✔
Testing
Apache 2.0		org.testng » testng 7.10.27.11.0

Licenses

LicenseURL
Apache License, Version 2.0 https://www.apache.org/licenses/LICENSE-2.0.txt

Developers

NameEmailDev IdRolesOrganization
Markus Frohmemarkus.frohme<at>udo.edumtf90Developer, MaintainerTU Dortmund University, Chair of Programming Systems