The Case Against Formal Verification, 50 Years Later
(ivan-gavran.github.io)
78 points
by ghuntley
4 hours ago |
70 comments
()
()
()
()
()
()
()
()
()
()
()
()
()
()
()
()
