Hacker News new | ask | show | jobs
What about Formal Verification? (webrauser.com)
1 points by himynameisdave 2215 days ago