Artifacts using automata-core version 0.12.1

This artifact provides various common utility operations for analyzing and manipulating automata and graphs, such as traversal, minimization and copying.

(De-)Serializers for the DOT Format

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.

An artifact that aggregates all other artifacts of AutomataLib to produce an Uber-JAR that can be used in non-maven environments. Likewise, this single artifact may be used in maven-aware environments to declare a dependency on all AutomataLib artifacts.

This artifact provides a visualization implementation based on the JUNG (https://jung.sourceforge.net/) library.

This artifact contains adapter classes for treating the Automaton objects from the BRICS library (http://www.brics.dk/automaton) as AutomataLib models.

(De-)Serializers for the Textual Automaton Format

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://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.

Serializers for LTSmin's Enumerated Table Format

Deserializers for the Finite State Machine format