软件在没有形式化证明的情况下如何变得如此可靠？（1996年）
摘要
这篇1996年的论文探讨了尽管缺乏形式化证明，软件可靠性却日益提高的原因，讨论了非正式方法和工程实践。
<p><a href="https://lobste.rs/s/u9rwxj/how_did_software_get_so_reliable_without">评论</a></p>
查看缓存全文
缓存时间: 2026/06/03 07:43
根据您提供的内容，这段文字似乎是PDF文件的原始二进制数据或乱码，而非可读的英文Markdown文章。作为专业翻译助手，我无法从这种格式中提取文本进行翻译。
为了完成翻译，请您提供该PDF文件的可读文本内容（例如，复制粘贴其中的段落，或提供从PDF中提取的文字）。我将很乐意为您将其准确翻译成简体中文。
相似文章
@freeCodeCamp：软件可靠性看似是现代挑战，但工程师们解决这类问题已有很长历史。……
本文在制造业与现代软件工程的可靠性之间建立类比，重点介绍了冗余、根本原因分析和可观测性等原则，以帮助构建弹性系统。
可靠性正成为严肃AI发布竞争的实际轴线，而非它们听起来有多聪明
本文认为，严肃AI系统下一个主要的竞争轴线是可靠性和可信度，而不仅仅是能力或流畅度。文章强调了新兴的验证技术——如独立检查和基于评分标准的评级——旨在捕捉自信但错误的输出，这种失败模式被称为'pseudo-correctness'。
我们现在有了证明自动化
本文讨论了LLMs如何自动生成证明，在如Lean和Rocq这样的依赖类型语言中，通过利用证明无关性并减少手动证明工程的需求，使得形式验证变得更加实用。
论计算机使用智能体的可靠性
一篇预印本论文，分析为何计算机使用智能体首次成功却在重复执行时失败，将不可靠性归因于执行随机性、任务模糊性和行为变异性，并倡导重复评估与稳定策略。
你对形式验证一窍不通
这是一篇评论文章，探讨了关于形式验证的常见误解，并强调了它在确保软件和AI系统可靠性中的关键作用。