incorporation of mathematically based techniques for the specification,
development, and verification of software. Inasmuch as vulnerabilities can
result from functionally incorrect implementations, formal methods, in general,
improve software security (at a cost).