Computer Scientists Close In on Perfect, Hack-Proof Code
by Kevin Hartnett from on (#1VT7N)
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.