The Case Against Formal Verification, 50 Years Laterivan-gavran.github.io
79 points by ghuntley 5 hours ago | 75 comments