Algorithmic Counterexample Search Implementation Protocol | Algorithmic Counterexample Search | Mathematics | NEROS