Algorithmic Counterexample Search Protocol Design | Algorithmic Counterexample Search | Mathematics | NEROS