大型代码库形式化验证被认为已可行

有作者提出，针对极大型代码库的形式化证明如今已具备可行性，对过亿行代码做形式化证明“不再荒谬”。该说法来自一篇评论文章，未给出具体验证案例或工具数据。 作者据此主张，在设计高可靠性与安全性的新型安全系统时，应把形式化验证列为关键考虑步骤。

AI 根据报道生成 · 56 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。