Download automata-modelchecking-parent JAR file with all dependencies

automata-serialization-dot from group net.automatalib (version 0.12.0)

Serializers for the DOT Format

Group: net.automatalib Artifact: automata-serialization-dot
Show documentation Show source

0 downloads

Artifact automata-serialization-dot
Group net.automatalib
Version 0.12.0

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.

Group: net.automatalib Artifact: automata-core
Show documentation Show source

0 downloads

Artifact automata-core
Group net.automatalib
Version 0.12.0

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.

Group: net.automatalib Artifact: automata-api
Show documentation Show source

0 downloads

Artifact automata-api
Group net.automatalib
Version 0.12.0

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.