A free, open-source Java library for automata, graphs, and transition systems
automatagraphminimizationmodel-checkingdfamealy-machinetimed-automatatest-case-generationvpam3cconformance-testingtransition-systemprocedural-systemsautomata-visualization
-
Updated
Aug 20, 2026 - Java