Microsoft Research· Alex Lavaee, Matthai Philipose·· 22 小时前精选AI 评分64
微软研究院用 PDD Kit 形式化验证智能体编写的全栈 Web 应用
Formally verifying agent-written full-stack web apps with PDD Kit
AI 导读
微软研究院联合 GitHub Next 发布研究原型 PDD Kit，把开发者的意图转成 Verus 形式化规约，再证明编码智能体生成的代码对每个输入都满足该规约，证明覆盖不到的部分则回退到测试。
推荐理由
微软研究院与 GitHub Next 展示了用 Verus 形式化证明约束智能体生成代码的完整流程，读者可据此理解意图审查如何替代逐行代码审查。
来源：Microsoft Research · microsoft.com