Download automata-commons-smartcollections JAR file with all dependencies
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)
(De-) Serializers for the BA Format
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
automata-serialization-etf from group net.automatalib (version 0.12.0)
Serializers for LTSmin's Enumerated Table Format
0 downloads
automata-incremental from group net.automatalib (version 0.12.0)
A library for incremental automata construction. This artifact contains algorithms for incrementally
constructing DFAs (prefix-closed and non-prefix-closed), Mealy machines, and Moore machines from a finite,
incrementally growing set of example inputs/outputs.
automata-brics from group net.automatalib (version 0.12.0)
This artifact contains adapter classes for treating the Automaton objects from the
BRICS library (http://www.brics.dk/automaton) as AutomataLib models.
Page 2 from 3 (items total 40)
© 2015 - 2025 Weber Informatics LLC | Privacy Policy