Microsoft Research· Alex Lavaee, Matthai Philipose·· 9 天前AI 评分58
Microsoft Research 演示如何用 PDD Kit 形式化验证智能体编写的全栈 Web 应用
Formally verifying agent-written full-stack web apps with PDD Kit
AI 导读
Microsoft Research 用 PDD Kit 演示了对 Rust 全栈应用 Pet Store 登录逻辑的形式化验证，将开发者意图转为规范，再由 Verus 检查代码是否满足规范。
来源：Microsoft Research · microsoft.com