Formal methods have applications throughout the SDLC. Figure 5-1 maps
possible uses of formal methods to each phase of the SDLC. Because formal
methods can be used for correctness, independently of security concerns, the
life cycle phases are not labeled in terms of security concerns.