Section 5 SDLC Processes and Methods and the Security of Software
5.1.2.1 Limitations of Formal Methods for Assuring
Software Security
Formal methods have limitations of scale, training, and applicability in