Formal Deductive Analysis Execution Protocol | Formal Deductive Analysis | Logic | NEROS