Microsoft Research· Alex Lavaee, Matthai Philipose·· 4 小时前精选AI 评分63
Microsoft Research 展示 PDD Kit 对智能体编写全栈 Web 应用的形式化验证
Formally verifying agent-written full-stack web apps with PDD Kit
AI 导读
Microsoft Research 介绍 PDD Kit，它将开发者意图转成 Verus 形式化规格，验证智能体编写的代码是否满足规格，并在证明无法覆盖的部分使用测试。
推荐理由
文章以 Pet Store 登录流程为例，具体展示了如何把自然语言意图、Verus 证明和边界测试串成可审查的开发流程。
来源：Microsoft Research · microsoft.com