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
Information
- Show
- Channel
- FrequencyUpdated Weekly
- PublishedOctober 20, 2016 at 4:00 p.m. UTC
- Length16 min
- RatingClean