Microsoft Research· Alex Lavaee, Matthai Philipose·· 5 小时前
微软研究院 PDD Kit：用形式化验证确保 AI 智能体编写的全栈 Web 应用正确性
Formally verifying agent-written full-stack web apps with PDD Kit
AI 导读
微软研究院推出 PDD Kit，将 Proof-Driven Development（PDD）引入日常软件开发：它把开发者的意图转化为 Verus 形式化规范，证明智能体编写的代码对每个输入都满足规范，证明覆盖不到处回退到测试。
来源：Microsoft Research · microsoft.com