Why Don't People Use Formal Methods?
I saw this question on the Software Engineering Stack Exchange: What are the barriers that prevent widespread adoption of formal methods? The question was closed as opinion-based, and most of the answers were things like "its too expensive!!!" or "website isn't airplane!!!" These are sorta kinda true but don't explain very much. I wrote this to provide a larger historical picture of formal methods, why they're actually so unused, and what we're doing to make them used.
Summary
Formal methods in software engineering face significant barriers to adoption, often attributed to misconceptions about their cost and applicability. This article offers a historical perspective on these challenges and discusses ongoing efforts to increase their utilization in the industry.
Comments (65 of ) ⌛