Hacker News new | ask | show | jobs
by choeger 104 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.