Hacker-Proof Code Confirmed
- Author
- Quanta Magazine
- Published
- Thu 20 Oct 2016
- Episode Link
- https://www.quantamagazine.org/formal-verification-creates-hacker-proof-code-20160920/
Computer scientists can prove certain programs to be error-free with the same certainty that mathematicians prove theorems.
The post Hacker-Proof Code Confirmed first appeared on Quanta Magazine
