A framework for active automata learning and experimentation
This project has declared the following modules:
| Name | Description |
|---|---|
| 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 | Parent module for automata learning algorithms shipped with LearnLib |
| 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 | Parent module for LearnLib utilities |
| LearnLib :: Filters | Parent module for queries that can be used to speed up the learning process |
| LearnLib :: Drivers | Parent module for test drivers |
| LearnLib :: Examples | A collection of examples of how to use LearnLib |
| LearnLib :: Archetypes | Parent metaproject for archetypes that facilitate getting started with LearnLib. |
| LearnLib :: Distribution | A framework for active automata learning and experimentation |