Hacker News new | ask | show | jobs
by kaba0 1811 days ago
Formal verification is even harder. And even more (very) expensive.