Why Don't People Use Formal Methods? (2019)

为什么人们不使用形式化方法？（2019）

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.

⋯ 继续阅读请登录会员 ⋯