BF–Based Formal Methods (FM) Systems
Irena Bojanova, Inventor/Creator, PI & Lead, NIST Bugs Framework (BF), 2014 – ~~~ #

• FM can reinvent Secure Programming R&D — but only if we do it right.

• xxx