Formal Deductive Analysis Review and Validation Protocol | Formal Deductive Analysis | Logic | NEROS