The Case Against Formal Verification, 50 Years Later
https://ivan-gavran.github.io/0-social-processes-paper
Comments: https://news.ycombinator.com/item?id=49323459
#HackerNews #FormalVerification #TechCritique #SoftwareEngineering #50YearsLater #HackerNews