LearnLib

learnlib

A free, open-source Java library for automata learning algorithms

automatalib

A free, open-source Java library for modeling automata, graphs, and transition systems

alex

Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automata learning

ralib

cav2015-example

Example project to be used in the context of the CAV2015 Demo

learnlib-ttt

alex-cli

A command line interface for running tests and learning experiments with ALEX

build-tools

Build tools (mostly annotation processors) for LearnLib-related projects

learnlib-rest-example

Example for learning a RESTful web service

learnlib-spa

Accompanying source code for the paper "Compositional Learning of Mutually Recursive Procedural Systems"

learnlib-studio

The Next Generation LearnLib Studio

learnlib-jlearn

Makes the algorithms of the old, closed-source LearnLib available in the new framework.

learnlib-sba

Accompanying source code for the paper "From Languages to Behaviors and Back".

learnlib.github.io

The source code of the learnlib.de website

cav2015-demo

learnlib-ase2013-tutorial

learnlib-libalf

LibAlf algorithms for LearnLib

learnlib-libalf-native

Native bridge between LearnLib and libalf

learnlib-profiling

ralib-benchmarking

raxml