Figure 5-1. Formal Methods in the SDLC
Table 5-1 describes each of the formal methods activities in the diagram,
indicating the SDLC phases to which each activity pertains.
Software Security Assurance State-of-the-Art Report (SOAR) 93