Formal Verification Protocol Design | Formal Verification | Mathematics | NEROS