软件即基础设施：失败、成功、成本与形式化验证的必要性
软件工程
2026-01-30 v4 计算机与社会
摘要
在本章中，我们概述了软件在现代社会中的作用，以及糟糕软件质量带来的惊人成本。为了揭示这些问题，我们回顾了过去40年中一些主要软件失败的成本。我们认为这些成本证明了研究、学习和应用形式化软件验证，特别是程序分析的合理性。这一立场得到了成功的工业经验的支持。
引用
@article{arxiv.2506.13821,
title = {Software is infrastructure: failures, successes, costs, and the case for formal verification},
author = {Giovanni Bernardi and Adrian Francalanza and Marco Peressotti and Mohammad Reza Mousavi},
journal= {arXiv preprint arXiv:2506.13821},
year = {2026}
}