Microsoft Research· Alex Lavaee, Matthai Philipose·· 3 小时前精选AI 评分74
Microsoft Research 介绍 PDD Kit：用 Verus 形式化验证智能体编写的 Rust 应用
Formally verifying agent-written full-stack web apps with PDD Kit
AI 导读
Microsoft Research 介绍 PDD Kit，这套研究原型工具将开发者意图转成 Verus 形式化规范，并验证智能体编写的 Rust 代码是否满足规范；无法证明的部分则通过测试检查。
来源：Microsoft Research · microsoft.com