Formal Deductive Analysis Protocol Design | Formal Deductive Analysis | Logic | NEROS