Microsoft Research· Alex Lavaee, Matthai Philipose·· 6 天前精选
Microsoft Research 用 PDD Kit 形式化验证智能体编写的全栈 Web 应用
Formally verifying agent-written full-stack web apps with PDD Kit
内容摘要
Microsoft Research 介绍了 PDD Kit 如何把开发者意图转为 Verus 形式化规格，证明智能体代码对所有输入满足规格，并在证明覆盖不到的部分使用测试。
推荐理由
案例展示了将自然语言意图转成形式化规格，并用证明与测试分层约束智能体代码的完整工作流。
来源：Microsoft Research · microsoft.com