automata

Sort by:Popular▼

✓Popular✓Newest

Set of libraries for experimental mathematics

Serializers for LTSmin's Enumerated Table Format

(De-)Serializers for the legacy LearnLibV2 format

(De-)Serializers for the Textual Automaton Format

Deserializers for the Finite State Machine 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.

Commons

JavaZOOM JL.

This artifact provides a visualization implementation based on the GraphVIZ DOT (http://www.graphviz.org/) tool.

(De-)Serializers for the Simple Automaton Format