LearnLib. a framework for automata learning

Documentation

LearnLib

LearnLib Studio

Wiki, Bug tracker, etc.