Hillel Wayne personal blog
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…
- Points
- 420
- HN comments
- 342
- Submissions
- 2
- Cited by
- 3 commenters
Software EngineeringTech Industry & Business2019
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jan 22, 2019 | Why Don't People Use Formal Methods? by pplonski86 | 420 | 225 |
| Jul 30, 2026 | Why don't people use formal methods? (2019) by Thom2503 | 128 | 117 |
Cited in comments
Linked from 5 Hacker News comments by 3 different people, from Feb 2020 to May 2021.
Most recent:
