Episode Details
Back to Episodes
Hacker-Proof Code Confirmed
Published 9 years, 2 months ago
Description
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