Download automata-serialization-parent JAR file with all dependencies
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-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.
automata-util from group net.automatalib (version 0.12.0)
This artifact provides various common utility operations for analyzing and manipulating
automata and graphs, such as traversal, minimization and copying.
automata-core from group net.automatalib (version 0.12.0)
The core artifact of AutomataLib. This library contains concrete implementations for many
of the automaton model interfaces defined in the API artifact, as well as abstract
base classes that facilitate implementing new automaton model classes. Note that
concrete algorithms (traversal, reachability analysis etc.) are not in the scope of this
artifact.
automata-api from group net.automatalib (version 0.12.0)
This artifact contains the API of AutomataLib, which mainly consists of interfaces
for the various concepts and automaton models supported by the AutomataLib core.
In addition to that, it also defines some fundamental classes for dealing with
words of symbols.
automata-commons-smartcollections from group net.automatalib (version 0.12.0)
This library provides efficient implementations for various collection data structures
(esp. linked lists and priority queues), which have very insufficient implementation in
the Java Collections Foundations that makes it hard or even impossible to exploit their
efficiencies.
0 downloads
automata-commons-settings from group net.automatalib (version 0.12.0)
A collection of utility methods to parse AutomataLib specific settings.
0 downloads
automata-commons-util from group net.automatalib (version 0.12.0)
Basic utility library containing several useful classes (e.g., a Pair class) to ease
everyday programming.
automata-build-tools from group net.automatalib (version 0.10.0)
Tools and resources required for building AutomataLib
Page 2 from 2 (items total 26)
© 2015 - 2025 Weber Informatics LLC | Privacy Policy