Counterexample Search in Integers Protocol Design | Counterexample Search in Integers | Mathematics | NEROS