Hacker News new | ask | show | jobs
by nicoburns 2210 days ago
Formal verificatiom can't tell you if you're assumptions are off. It can only work from those assumptions.