[No Caption]

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.

https://www.quantamagazine.org/20160920-formal-verification-creates-hacker-proof-code/