Download net.automatalib JAR files with all dependencies
automata-serialization-learnlibv2 from group net.automatalib (version 0.6.0)
(De-)Serializers for the legacy LearnLibV2 format
2 downloads
automata-util from group net.automatalib (version 0.7.0)
This artifact provides various common utility operations for analyzing and manipulating
automata and graphs, such as traversal, minimization and copying.
Group: net.automatalib Artifact: automata-util
There is no JAR file uploaded. A download is not possible! Please choose another version.
1 downloads
automata-dot-visualizer from group net.automatalib (version 0.7.1)
This artifact contains a visualization implementation for the GraphVIZ DOT (http://www.graphviz.org/) tool.
Group: net.automatalib Artifact: automata-dot-visualizer
There is no JAR file uploaded. A download is not possible! Please choose another version.
1 downloads
automata-serialization-taf from group net.automatalib (version 0.5.2)
(De-)Serializers for the Textual Automaton Format
automata-examples from group net.automatalib (version 0.3.1-ase2013-tutorial-r1)
A collection of various small example applications that illustrate several use cases
of AutomataLib.<br />
<em>Note:</em> This artifact is not intended as a library, but only exists for educational
purposes.
automata-build-config from group net.automatalib (version 0.12.1)
Configs and resources required for building AutomataLib
automata-jung-visualizer from group net.automatalib (version 0.12.1)
Visualizer using the Java Utility for Networks and Graphs
automata-dot-visualizer from group net.automatalib (version 0.12.1)
This artifact contains a visualization implementation for the GraphVIZ DOT (http://www.graphviz.org/) tool.
automata-visualization-parent from group net.automatalib (version 0.12.1)
Automata and Graph visualization libraries.
Group: net.automatalib Artifact: automata-visualization-parent
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
automata-serialization-saf from group net.automatalib (version 0.12.1)
(De-)Serializers for the Simple Automaton Format
0 downloads
automata-serialization-learnlibv2 from group net.automatalib (version 0.12.1)
(De-)Serializers for the legacy LearnLibV2 format
0 downloads
automata-serialization-ba from group net.automatalib (version 0.12.1)
(De-) Serializers for the BA Format
0 downloads
automata-serialization-aut from group net.automatalib (version 0.12.1)
(De-)Serializers for the AUT Format
0 downloads
automata-modelchecking-m3c from group net.automatalib (version 0.12.1)
This artifact provides the implementation of the model checker presented in the paper "M3C: Modal Meta Model
Checking" (https://dx.doi.org/10.1007/978-3-030-00244-2_15) by Bernhard Steffen and Alnis Murtovi. The paper is
based on "Model Checking for Context-Free Processes" (https://link.springer.com/chapter/10.1007/BFb0084787) by
Olaf Burkart and Bernhard Steffen.
Note that this implementation requires a runtime dependency to a specific ADDLib backend (see
https://add-lib.scce.info/), which is not explicitly included in this artifact due to packaging reasons.
0 downloads
automata-modelchecking-ltsmin from group net.automatalib (version 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://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
Page 1 from 5 (items total 74)
© 2015 - 2026 Weber Informatics LLC | Privacy Policy