SAT-Based Verification Protocol Design | SAT-Based Verification | Mathematics | NEROS