Core implementation of Logback, a reliable, generic, fast and flexible logging framework.

Implementation of the SLF4J API for Logback, a reliable, generic, fast and flexible logging framework.

AWT Shape Definitions for Shapes used by GraphVIZ.

Guava is a suite of core and expanded libraries that include

Parent module for automata learning algorithms shipped with LearnLib

Parent module for (active) automata learning algorithms shipped with LearnLib

This artifact provides the implementation of the AAAR learning algorithm as described in the paper "Automata

This artifact provides the implementation of the ADT learning algorithm as described in the Master thesis

This artifact provides the implementation of the DHC learning algorithm as described in the paper "Automata

This artifact provides the implementation of the learning algorithm described in the book "An Introduction to

This artifact provides the implementations of various learning algorithms based on the "lazy partition refinement"

This artifact provides the implementation of the L# algorithm as described in the paper "A New Approach for

This artifact provides the implementation of the L* learning algorithm described in the paper "Learning Regular

This artifact provides the implementation of the NL* learning algorithm as described in the paper "Angluin-Style

This artifact provides the implementation of the Observation-Pack learning algorithm as described in the PhD

This artifact provides the implementation of the VPA adaption of the Observation-Pack learning algorithm as

This artifact provides the implementations of various learning algorithms for systems of procedural automata

This artifact provides the implementation of the Sparse OT learning algorithm as described in the paper

This artifact provides the implementation of the TTT algorithm as described in the paper "The TTT Algorithm: A

This artifact provides the implementation of the VPA adaption of the TTT learning algorithm as presented in the

Parent module for (passive) automata learning algorithms shipped with LearnLib

This artifact provides the implementation of the "onward subsequential transducer inference algorithm" (OSTIA)

This artifact provides the implementation of (a blue-fringe version of) the "regular positive negative

Infrastructure and core interfaces of LearnLib

Configs and other resources required for building LearnLib

A utility parent, that defines certain plugin executions for the build process. May be used to define

Parent module for common LearnLib utilities

A collection of algorithms for handling counterexamples in automata learning

Module for data structures shared by multiple learning algorithms of LearnLib

A collection of utility methods to parse LearnLib specific settings.

A collection of utility methods for learning setups (oracle wrappers, etc.)

Parent module for test drivers

Basic support for test driver creation

Translation utilities for mapping abstract hypothesis symbols to concrete SUL symbols

Utilities for simulating SULs

Parent module for components that can be inserted in a chain of oracles

Caches to avoid posing duplicate membership queries

Reuse Tree for (intelligently) caching membership queries as described in the paper "Reusing System

Filters for collecting statistical data

Parent module for oracles and oracle-related modules

A collection of emptiness oracles

A collection of equivalence oracles

A collection of membership oracles

Support for posing membership queries in parallel

A collection of symbol filters

A collection of property oracles

Parent metaproject for archetypes that facilitate getting started with LearnLib.

Archetype for a basic LearnLib setup, including the most commonly used dependencies

Archetype which includes all LearnLib dependencies

An artifact that aggregates all other artifacts of LearnLib to produce an Uber-JAR that can be used in

Functionality to ease writing test cases for LearnLib

Example learning setups to be used for integration testing

Support classes for easily writing integration test cases for learning algorithms

Support classes for easily writing unit tests for various components of LearnLib

This package contains a full DFA/NFA implementation with Unicode

Java command line parser with both an annotations API and a programmatic API. Usage help with ANSI styles and colors. ...

Non-Blocking Reactive Foundation for the JVM

Reactive Extensions for Java

Intuitive Event-Driven Reactive Programming Library for Java

Common parent meta-project for various adapters, i.e., wrapper class that allow to treat automaton or graph

This artifact contains adapter classes for treating the Automaton objects from the

This artifact contains the API of AutomataLib, which mainly consists of interfaces

Configs and resources required for building AutomataLib

A utility artifact, that defines certain plugin executions for the build process. May be used to define

Common parent metaproject for various small Java libraries which are required by AutomataLib,

A collection of utility methods to parse AutomataLib specific settings.

This artifact provides efficient implementations for various collection data structures

Basic utility library containing several useful classes to ease everyday programming.

The core artifact of AutomataLib. This library contains concrete implementations for many

This artifact contains algorithms for incrementally constructing DFAs (prefix-closed and non-prefix-closed),

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

This artifact provides the integration of the model checker "LTSmin" (https://ltsmin.utwente.nl/) as described

This artifact provides the implementation of the model checker presented in the paper "M3C: Modal Meta Model

Serialization parent meta project for various (de-)serialization methods.

(De-)Serializers for the AUT Format

(De-) Serializers for the BA Format

(De-)Serializers for the DOT Format

Serializers for LTSmin's Enumerated Table Format

Deserializers for the Finite State Machine format

(De-)Serializers for the legacy LearnLibV2 format

(De-)Serializers for the Mata automaton format

(De-)Serializers for the Simple Automaton Format

(De-)Serializers for the Textual Automaton Format

This artifact provides various common utility operations for analyzing and manipulating

Automata and Graph visualization libraries.

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

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

Parent metaproject for archetypes that facilitate getting started with AutomataLib.

The basic archetype, which provides preconfigured dependencies for the basic usage of AutomataLib.

The complete archetype, which provides preconfigured dependencies on all artifacts of AutomataLib.

An artifact that aggregates all other artifacts of AutomataLib to produce an Uber-JAR that can be used in

Graph interfaces used by the JUNG project

Algorithms for the JUNG project

Graph implementations for the JUNG project

Core visualization support for the JUNG project

Apache Fory™ is a blazingly fast multi-language serialization framework powered by jit and zero-copy.

Fluent interface for functional GUI testing

TestNG-specific extension for AssertJ-Swing

checker-qual contains annotations (type qualifiers) that a programmerwrites to specify Java code for type-checking by ...

Annotation-driven META-INF/services auto-generation

Mockito mock objects library core API and implementation

Mockito mock objects library core API and implementation

A Protocol for Asynchronous Non-Blocking Data Sequence

API for SLF4J (The Simple Logging Facade for Java) which serves as a simple facade or abstraction for various logging ...

TestNG is a testing framework inspired from JUnit and NUnit but introducing some new functionalities that make it more ...