The White House announces efforts in formal methods

The White House announced focus on formal verification methods for National Security technology solutions moving forward to Address Root Cause of Many of the Worst Cyber Attacks.

‍

Full article here.