Download automata-modelchecking-ltsmin JAR file with all dependencies

Search JAR files by class name

automata-commons-util from group net.automatalib (version 0.6.0)

Basic utility library containing several useful classes (e.g., a Pair class) to ease everyday programming.

Group: net.automatalib Artifact: automata-commons-util
Show documentation Show source

0 downloads

Artifact automata-commons-util
Group net.automatalib
Version 0.6.0

automata from group it.inspiredsoft (version 1.0.0)

Very basic finite state machine

Group: it.inspiredsoft Artifact: automata
Show documentation Show source

0 downloads

Artifact automata
Group it.inspiredsoft
Version 1.0.0

automata-build-config from group net.automatalib (version 0.12.0)

Configs and resources required for building AutomataLib

Group: net.automatalib Artifact: automata-build-config
Show source

0 downloads

Artifact automata-build-config
Group net.automatalib
Version 0.12.0

automata-jung-visualizer from group net.automatalib (version 0.12.0)

Visualizer using the Java Utility for Networks and Graphs

Group: net.automatalib Artifact: automata-jung-visualizer
Show documentation Show source

0 downloads

Artifact automata-jung-visualizer
Group net.automatalib
Version 0.12.0

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.

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

0 downloads

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

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

Artifact automata-visualization-parent
Group net.automatalib
Version 0.12.0

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

(De-)Serializers for the Simple Automaton Format

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

0 downloads

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

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

(De-)Serializers for the legacy LearnLibV2 format

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

0 downloads

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

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

(De-) Serializers for the BA Format

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

0 downloads

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

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

(De-)Serializers for the AUT Format

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

0 downloads

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

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

(De-)Serializers for the Textual Automaton Format

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

0 downloads

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

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

Deserializers for the Finite State Machine format

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

0 downloads

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

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

Serializers for LTSmin's Enumerated Table Format

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

0 downloads

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

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.

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

0 downloads

Artifact automata-incremental
Group net.automatalib
Version 0.12.0

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.

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

0 downloads

Artifact automata-brics
Group net.automatalib
Version 0.12.0

Page 2 from 3 (items total 44)