Automata-Theoretic Methods Review and Validation Protocol | Automata-Theoretic Methods | Theoretical Computer Science | NEROS