微软研究院发布PDD Kit形式化验证工具包

微软研究院联合 GitHub Next 推出研究原型 PDD Kit，用于验证智能体编写的全栈 Web 应用：它把开发者意图转成 Verus 形式化规格，再证明智能体生成的代码对每个输入都满足该规格，证明覆盖不到的部分回退到测试。 据微软研究院介绍，其他语言的代码可移植到 Rust 后按同一规格检查，非 Rust 项目也能通过绑定调用已验证的 Rust 代码。该工具目前为研究原型。

AI 根据报道生成 · 2 小时前更新

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