Hacker News new | ask | show | jobs
by choeger 57 days ago
To me it looks like formal verification is going to be the answer. We're going to move up the ladder and write formal specs and proofs soon.