5.3.4.2 Formal Methods and Detailed Design
Typically, the formal methods (see Section 5.1.2) used in detailed design
and implementation differ from those used in system engineering, software
requirements, and software architecture. Formal methods adopted during