JAuto

• Introduction
• Installation

Modules

• JAutomata Core
• JAutomata Graph interface
• JAutomata extensions
• JAutomata I/O

Summary

Tests	Errors	Failures	Success Rate	Time
0	0	0	0.00%	0.00

Note: failures are anticipated and checked for with assertions while errors are unanticipated.