Download automata JAR file with all dependencies
automata-commons-util from group net.automatalib (version 0.6.0)
Basic utility library containing several useful classes (e.g., a Pair class) to ease
everyday programming.
automata from group it.inspiredsoft (version 1.0.0)
Very basic finite state machine
automata-build-config from group net.automatalib (version 0.12.0)
automata-jung-visualizer from group net.automatalib (version 0.12.0)
Visualizer using the Java Utility for Networks and Graphs
automata-dot-visualizer from group net.automatalib (version 0.12.0)
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.0)
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.0)
(De-)Serializers for the Simple Automaton Format
0 downloads
automata-serialization-learnlibv2 from group net.automatalib (version 0.12.0)
(De-)Serializers for the legacy LearnLibV2 format
0 downloads
automata-serialization-ba from group net.automatalib (version 0.12.0)
0 downloads
automata-serialization-aut from group net.automatalib (version 0.12.0)
(De-)Serializers for the AUT Format
0 downloads
automata-modelchecking-m3c from group net.automatalib (version 0.12.0)
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.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
automata-modelchecking-parent from group net.automatalib (version 0.12.0)
Meta-module for various model checkers that can be used with automata and graph models from AutomataLib.
Group: net.automatalib Artifact: automata-modelchecking-parent
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
automata-serialization-taf from group net.automatalib (version 0.12.0)
(De-)Serializers for the Textual Automaton Format
0 downloads
automata-serialization-fsm from group net.automatalib (version 0.12.0)
Deserializers for the Finite State Machine format
0 downloads
Page 2 from 4 (items total 47)
© 2015 - 2025 Weber Informatics LLC | Privacy Policy