Get the app
public
ios_share
The Quanta Podcast
chevron_right
Hacker-Proof Code Confirmed
Oct 20, 2016
15:50
forum
Ask episode
play_arrow
Play
view_agenda
Chapters
auto_awesome
Transcript
info_circle
Episode notes
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
