Microsoft Research· Alex Lavaee, Matthai Philipose·· 8 天前精选AI 评分76
微软研究院发布 PDD Kit，用 Verus 形式化验证 Agent 编写的全栈 Web 应用
Formally verifying agent-written full-stack web apps with PDD Kit
AI 导读
微软研究院联合 GitHub Next 推出研究原型 PDD Kit，把开发者的自然语言意图转成 Verus 形式规约，再证明编码 Agent 生成的代码对每个输入都满足该规约，证明覆盖不到的部分回退到测试。
推荐理由
微软研究院与 GitHub Next 展示 PDD Kit 如何把自然语言意图转成 Verus 形式规约，并在真实 Rust 全栈应用上验证登录逻辑。
来源：Microsoft Research · microsoft.com