Attention: This version of LearnLib (JLearn) is out of date and no longer maintained. The current version can be found on Gitub.com.
LearnLib. a framework for automata learning

Documentation

LearnLib

LearnLib Studio

Wiki, Bug tracker, etc.