Microsoft Research· Alex Lavaee, Matthai Philipose·· 4 天前精选AI 评分67
Microsoft Research 推出 PDD Kit，用形式化验证智能体编写的全栈 Web 应用
Formally verifying agent-written full-stack web apps with PDD Kit
摘要／原文摘录
Microsoft Research 发布研究原型 PDD Kit，提出 Proof-Driven Development（PDD）方法：把开发者意图转成 Verus 形式化规范，对智能体编写的代码在所有输入上给出证明，证明覆盖不到的部分回退到测试并显式标注可信边界。
推荐理由
微软介绍了 PDD Kit 如何把意图转成 Verus 形式化规范来验证智能体代码，并展示了在 Pet Store 登录逻辑上的实际流程。
来源：Microsoft Research · microsoft.com