![ProgramVerification_BoyaSun_1K-660x372](https://utterbuzz.com/wp-content/uploads/2019/02/ProgramVerification_BoyaSun_1K-660x372-640x361.jpg)
![Computer Scientists Close In on Perfect, Hack-Proof Code](https://utterbuzz.com/wp-content/uploads/2019/02/ProgramVerification_BoyaSun_1K-660x372.jpg)
Computer scientists can prove certain programs to be error-free with the same certainty that mathematicians prove theorems. The post Computer Scientists Close In on Perfect, Hack-Proof Code appeared first on WIRED.
Computer scientists can prove certain programs to be error-free with the same certainty that mathematicians prove theorems. The post Computer Scientists Close In on Perfect, Hack-Proof Code appeared first on WIRED.