Welcome to the LearnLib home page! LearnLib is a free, open-source (LGPLv3) Java library for active automata learning. It is mainly being developed at the Chair for Programming Systems at TU Dortmund University, Germany; a complete list of contributors can be found on the team page.

Note: The open-source LearnLib is a from-scratch re-implementation of the former closed-source version. See the features page for a comparison of the feature sets of the two version.

Background

Source Code

Using LearnLib

Contribute

Please note that the development of LearnLib is still in a very early stage. It does not yet have the complete functionality of the original closed-source version. Features will be added to LearnLib and made available as time permits and as needed by users. Everyone is welcome to contribute.