Section 5 SDLC Processes and Methods and the Security of Software
Table 5-1. Formal Methods Activities and SDLC Phases
Formal Method Activity Description SDLC Phases in Which Undertaken
Formal models of user behavior: