Dev published on 2016-09-21T01:16:34Z
Source (https://www.quantamagazine.org/20160920-formal-verification-creates-hacker-proof-code/)
Formal Verification
"formally verified software"
Application - Flight Critical Software (NASA)
Author
Source (https://www.quantamagazine.org/20160920-formal-verification-creates-hacker-proof-code/)
Application - Flight Critical Software (NASA)