Microsoft Research· Alex Lavaee, Matthai Philipose·· 3 小时前精选AI 评分62
Microsoft Research 发布 PDD Kit，用 Verus 形式化验证 agent 编写的全栈 Web 应用
Formally verifying agent-written full-stack web apps with PDD Kit
AI 导读
Microsoft Research 发布 PDD Kit，提出 Proof-Driven Development（PDD）方法，把开发者意图转成 Verus 形式化规范，证明 agent 写的代码对所有输入满足规范，无法证明之处回退到测试。
推荐理由
原文展示了用 Verus 形式化证明验证 agent 所写代码的完整流程，开发者只审意图不逐行读代码，方法可迁移到自己的 Rust 项目。
来源：Microsoft Research · microsoft.com