A framework for active automata learning and experimentation
This project has declared the following modules:
| Name | Description |
|---|---|
| LearnLib :: Test Support :: Learning Examples | Example learning setups, to be used for integration testing |
| LearnLib :: Test Support :: Learner Integration Test Support | Support classes for easily writing integration test cases for learning algorithms |
| LearnLib :: Test Support | Functionality to ease writing test cases for LearnLib |
| LearnLib :: Build Tools | Tools and resources required for building LearnLib |
| LearnLib :: Core | Infrastructure and core functionalities of LearnLib |
| LearnLib :: Algorithms :: Algorithm Features | Common interfaces providing features supported by various learning algorithms |
| LearnLib :: Algorithms :: DHC | The Direct Hypothesis Construction algorithm for active learning of Mealy machines |
| LearnLib :: Algorithms :: Generic L* | A flexible, optimized version of Dana Angluin's L* algorithm |
| LearnLib :: Algorithms :: Baseline L* | A simple, straightforward implementation of Dana Angluin's L* algorithm |
| LearnLib :: Algorithms :: Kearns/Vazirani | The automata learning algorithm described by Kearns & Vazirani |
| LearnLib :: Algorithms :: Discrimination Tree | Parent module for automata learning algorithms shipped with LearnLib |
| LearnLib :: Algorithms :: NL* | Parent module for automata learning algorithms shipped with LearnLib |
| LearnLib :: Algorithms | Parent module for automata learning algorithms shipped with LearnLib |
| LearnLib :: Equivalence Tests :: Basic Tests | A collection of basic algorithm for approximating equivalence queries |
| LearnLib :: Equivalence Tests | Parent module for equivalence testing algorithms shipped with LearnLib |
| LearnLib :: Simulator | Membership and equivalence oracles using an automaton model as backend |
| LearnLib :: Utilities :: Counterexamples | A collection of standard algorithms for handling counterexamples in automata learning |
| LearnLib :: Utilities :: Parallelism | Support for parallelizing membership queries |
| LearnLib :: Utilities | Parent module for LearnLib utilities |
| LearnLib :: Filters :: Cache | Cache filter to avoid posing duplicate membership queries |
| LearnLib :: Filters :: Reuse | Parent module for queries that can be used to speed up the learning process |
| LearnLib :: Filters | Parent module for queries that can be used to speed up the learning process |
| LearnLib :: Drivers :: Basic | Basic Test Driver Generation Support |
| LearnLib :: Drivers :: Mapper | Parent module for test drivers |
| LearnLib :: Drivers | Parent module for test drivers |
| LearnLib :: Examples | A collection of examples of how to use LearnLib |
| LearnLib :: Archetypes :: Core | Archetype providing dependencies for core functionalities of LearnLib |
| LearnLib :: Archetypes :: Typical | Archetype for a typical LearnLib setup, including the most commonly used dependencies |
| LearnLib :: Archetypes :: Complete | Archetype which includes all LearnLib dependencies |
| LearnLib :: Archetypes | Parent metaproject for archetypes that facilitate getting started with LearnLib. |
| LearnLib :: Distribution | A framework for active automata learning and experimentation |