Hacker-Proof Code Confirmed | Quanta Magazine

Computer scientists can prove certain programs to be error-free with the same certainty that mathematicians prove theorems.

Click to view the original at quantamagazine.org