标签: #formal-methods
关于 GPU、LLM、MLOps、Kubernetes 以及心态的文章 · 1 篇
Rust 标准库验证行动找到的内存安全漏洞是 0 个
由 AWS 和 Rust 基金会主导的 verify-rust-std 行动的成果论文，发表在 2026 年 NASA Formal Methods Symposium 上。作者们称之为"针对某个软件库所报告过的最大规模验证行动"，这项工作生成了 16,748 个自动生成的证明工具(harness)，其中 11,970 个通过，但在标准库中没有找到任何一个此前未知的内存安全漏洞。论文没有隐藏这个空结果，而是把它直接写进第 4.4 节的标
2026-07-16 · 42 分钟阅读 #formal-methods#rust#verification#memory-safety#testing