Closed-Form Verification Protocol Design | Closed-Form Verification | Mathematics | NEROS