Hacker News new | ask | show | jobs
by thingexplainer 3526 days ago
"Formal verification makes your code invulnerable against a very specific (though very powerful) attacker"