Download JAR files tagged by 00342 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.
Group: net.automatalib Artifact: automata-modelchecking-ltsmin
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact automata-modelchecking-ltsmin
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
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
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)