All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download net.automatalib JAR files with all dependencies

Search JAR files by class name

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

Visualizer using the Java Utility for Networks and Graphs

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

0 downloads
Artifact automata-jung-visualizer
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 14
Dependencies automata-api, automata-commons-util, automata-core, graphviz-awt-shapes, guava, jung-algorithms, jung-api, jung-graph-impl, jung-visualization, slf4j-api, checker-qual, metainf-services, cacio-tta, testng,
There are maybe transitive dependencies!

automata-dot-visualizer from group net.automatalib (version 0.11.0)

This artifact contains a visualization implementation for the GraphVIZ DOT (http://www.graphviz.org/) tool.

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

1 downloads
Artifact automata-dot-visualizer
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 12
Dependencies automata-api, automata-commons-util, automata-core, automata-serialization-dot, guava, slf4j-api, checker-qual, metainf-services, cacio-tta, assertj-swing, assertj-swing-testng, testng,
There are maybe transitive dependencies!

automata-visualization-parent from group net.automatalib (version 0.11.0)

Automata and Graph visualization libraries.

Group: net.automatalib Artifact: automata-visualization-parent
Show all versions 
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.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

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

(De-)Serializers for the Simple Automaton Format

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

0 downloads
Artifact automata-serialization-saf
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 6
Dependencies automata-api, automata-commons-util, automata-core, automata-serialization-core, checker-qual, testng,
There are maybe transitive dependencies!

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

(De-)Serializers for the legacy LearnLibV2 format

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

2 downloads
Artifact automata-serialization-learnlibv2
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 6
Dependencies automata-api, automata-commons-util, automata-core, automata-serialization-core, automata-util, testng,
There are maybe transitive dependencies!

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

(De-)Serializers for the AUT Format

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

0 downloads
Artifact automata-serialization-aut
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 6
Dependencies automata-api, automata-commons-util, automata-core, automata-serialization-core, guava, testng,
There are maybe transitive dependencies!

automata-modelchecking-m3c from group net.automatalib (version 0.11.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.

Group: net.automatalib Artifact: automata-modelchecking-m3c
Show documentation Show source 
 

0 downloads
Artifact automata-modelchecking-m3c
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 7
Dependencies automata-api, automata-commons-util, automata-core, guava, addlib-core, checker-qual, testng,
There are maybe transitive dependencies!

automata-modelchecking-ltsmin from group net.automatalib (version 0.11.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.

Group: net.automatalib Artifact: automata-modelchecking-ltsmin
Show all versions Show documentation Show source 
 

0 downloads
Artifact automata-modelchecking-ltsmin
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 11
Dependencies automata-api, automata-commons-util, automata-core, automata-serialization-etf, automata-serialization-fsm, automata-util, guava, slf4j-api, buildergen, checker-qual, testng,
There are maybe transitive dependencies!

automata-modelchecking-parent from group net.automatalib (version 0.11.0)

Meta-module for various model checkers that can be used with automata and graph models from AutomataLib.

Group: net.automatalib Artifact: automata-modelchecking-parent
Show all versions 
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact automata-modelchecking-parent
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

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

(De-)Serializers for the Textual Automaton Format

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

1 downloads
Artifact automata-serialization-taf
Group net.automatalib
Version 0.11.0
Last update 06. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 7
Dependencies automata-api, automata-commons-util, automata-core, automata-serialization-core, checker-qual, guava, testng,
There are maybe transitive dependencies!


Page 1 from 3 (items total 31)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy