A tool that can be used to learn state machines from implementations.
Primary LanguageJavaApache License 2.0Apache-2.0