Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits
PrototypeCommon

LearnLib/automatalib

A free, open-source Java library for automata, graphs, and transition systems

Owner
LearnLib (organization)
Stars
Stars: 105
Forks
Forks: 36
Language
Java
License
Apache-2.0
Created
2013
Topics
automataconformance-testingdfam3cmealy-machineminimizationmodel-checkingtest-case-generationtimed-automatatransition-system
Tier
Prototype (100 to 249 ★) What this tier means
View on GitHub

More repos by LearnLib

All 2 repos by LearnLib

Nearby in Java

All Java repos