Download automata-modelchecking-ltsmin JAR file with all dependencies
automata-modelchecking-ltsmin from group net.automatalib (version 0.11.0)
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://dx.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.
0 downloads
Artifact automata-modelchecking-ltsmin
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Tags: checking note explicitly reasons sound jeroen checker 00342 local artifact that jaco paper learnlib provides installation model https included described which ltsmin meijer s11334 implementation this black packaging 1007 utwente integration binaries requires
Organization not specified
URL Not specified
License not specified
Dependencies amount 11
Dependencies automata-api, automata-commons-util, automata-core, automata-serialization-etf, automata-serialization-fsm, automata-util, guava, slf4j-api, buildergen, checker-qual, testng,
There are maybe transitive dependencies!
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Tags: checking note explicitly reasons sound jeroen checker 00342 local artifact that jaco paper learnlib provides installation model https included described which ltsmin meijer s11334 implementation this black packaging 1007 utwente integration binaries requires
Organization not specified
URL Not specified
License not specified
Dependencies amount 11
Dependencies automata-api, automata-commons-util, automata-core, automata-serialization-etf, automata-serialization-fsm, automata-util, guava, slf4j-api, buildergen, checker-qual, testng,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)