Microsoft Research· Alex Lavaee, Matthai Philipose·原文发布· 3 小时前AI 评分56
Microsoft Research 用 PDD Kit 形式化验证智能体编写的全栈 Web 应用
Formally verifying agent-written full-stack web apps with PDD Kit
AI 导读
Microsoft Research 发布 Proof-Driven Development（PDD）工具包 PDD Kit，将开发者意图转为 Verus 形式化规范，证明智能体所写 Rust 代码对每种输入都满足规范，证明覆盖不到处回退到测试。
本站提供 AI 导读，完整报道请前往来源网站阅读。
阅读原文 Microsoft Research · microsoft.com