LearnLib - An open framework for automata learning, LearnLib is an open source framework for automata learning, written in Java. LearnLib provides a sophisticated set of passive and active automata learning algorithms for inferring finite state automaton models as well as a variety of equivalence approximation strategies.