this shift in mindset will translate into the widespread, disciplined adoption of
security-enhanced development practices and processes is still unclear.
8.8 Using Formal Methods for Secure Software Development
Formal methods have long been the subject of academic study (they appear to