Please login or sign up to post and edit reviews.
Hacker-Proof Code Confirmed
Publisher |
Quanta Magazine
Media Type |
audio
Categories Via RSS |
Life Sciences
Physics
Science
Publication Date |
Oct 20, 2016
Episode Duration |
00:15:50
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

Computer scientists can prove certain programs to be error-free with the same certainty that mathematicians prove theorems. The advances are being used to secure everything from unmanned drones to the internet. Read more at QuantaMagazine.org.

This episode currently has no reviews.

Submit Review
This episode could use a review!

This episode could use a review! Have anything to say about it? Share your thoughts using the button below.

Submit Review