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