经验之谈2015-06-01 · 历史讨论
Developing Provably-Correct Software Using Formal Methods
英文原文适用边界与提醒
保留英文原文，尚未翻译。内容按实践与结果信号筛选，具体说法请结合原讨论判断。
讨论中的声音
“Bugs can still happen there, and I think they even found one a few years ago, but it didn't have any impact on all the …”
@tunesmith · 查看来源
Y
Developing Provably-Correct Software Using Formal Methods
@tunesmith · 60 points · 14 条评论
阅读 Hacker News 原帖来源：OpenIndex Hacker News 数据集（ODC-By）。原文归各作者所有。摘要、翻译和行动建议由 AI 辅助整理，请结合原文判断；个案不代表普遍结果。