3 ms·
Here is the readable version. https://www.quantamagazine.org/20160920-formal-verification-creates-hacker-proof-code/ https://www.quantamagazine.org/20160920-fo
by StyloBill 10y ago
Here is the readable version.
https://www.quantamagazine.org/20160920-formal-verification-creates-hacker-proof-code/ https://www.quantamagazine.org/20160920-formal-verification-...
- sctb 10y agoThank you, we've updated the link from https://www.quantamagazine.org/?powerpress_pinw=29937-podcast&utm_source=Quanta+Magazine&utm_campaign=2f0887e749-Quanta_Newsletter_Feb_27_2015&utm_medium=email&utm_term=0_f0cb61321c-2f0887e749-389523389 https://www.quantamagazine.org/?powerpress_pinw=29937-podcas...