What about Formal Verification? | Dark Hacker News