Why Don't People Use Formal Methods?

> 为什么人们不使用形式化方法？

(2019)

(2019)

HN 87 分 · 60 条评论 · 作者 Thom2503 · 来源 www.hillelwayne.com · HN 讨论

> HN 87 分 · 60 条评论 · 作者 Thom2503 · 来源 www.hillelwayne.com · HN 讨论

The author responds to questions about the barriers to formal methods adoption by arguing that existing explanations are insufficient and provides a historical context for their limited usage.

⋯ 继续阅读请开通会员 ⋯