We are constantly adding to our list of resources. Please contact us if you have a suggestion for the list.

Libraries

LearnLib

A Java library implementing many learning algorithms and testing algorithms. Mostly focussed on active learning. See GitHub for the latest version.

LIBALF 

A (discontinued) C++ library implementing learning algorithms. Includes both active and passive learning algorithms.

Standalone tools

ALEX

A tool for learning web applications with active learning. It does not require any programming and can be used out-of-the-box.

Benchmarks

Automata wiki

AutomatArk

Related Methods

Grammar Learning 

 

Related keywords are: regular inference, grammatical inference, (active) automata learning, model learning, induction of regular languages and maybe even process mining.