Microsoft Research· Alex Lavaee, Matthai Philipose·· 1 天前AI 评分59
微软研究院发布 PDD Kit，用形式化证明校验智能体编写的全栈 Web 应用
Formally verifying agent-written full-stack web apps with PDD Kit
AI 导读
微软研究院联合 GitHub Next 发布研究原型 PDD Kit，把用户意图转成 Verus 形式化规范，证明智能体写的代码对每个输入都满足规范，证明覆盖不到的部分改用测试。
来源：Microsoft Research · microsoft.com