repo1.maven.org : net.automatalib:automata-modelchecking-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.
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:maven/net.automatalib/automata-modelchecking-ltsmin
Keywords:
automata
, graph
, java
, java-library
, transition-systems
License: Apache-2.0,Apache-2.0
Latest release: 5 months ago
First release: over 6 years ago
Namespace: net.automatalib
Dependent packages: 2
Dependent repositories: 8
Stars: 95 on GitHub
Forks: 32 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: about 8 hours ago