Microsoft Research· Alex Lavaee, Matthai Philipose·· 2 小时前精选AI 评分61
Microsoft Research 发布 PDD Kit，形式化验证智能体编写的全栈 Web 应用
Formally verifying agent-written full-stack web apps with PDD Kit
AI 导读
Microsoft Research 推出研究原型 PDD Kit，提出 Proof-Driven Development（PDD）范式：团队用自然语言确认意图，工具将其转化为 Verus 形式化规范，由证明保证智能体生成的代码对每个输入都满足规范，证明覆盖不到的部分回退为测试并标注为证据。
推荐理由
原文展示了用 Verus 形式化验证智能体生成代码的完整工作流，读者可以了解如何把审查重心从逐行读代码转向意图审查。
来源：Microsoft Research · microsoft.com