Hacker-Proof Code Confirmed
Quanta
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. However, they're not claiming they are going to prove an entire system is correct, 100 percent reliable in every bit, down to the circuit level. "That’s ridiculous to make those claims."
Spread the word