产品发布 / 更新普通
Microsoft Research 发布 PDD Kit,用 Verus 形式化验证智能体编写的全栈 Web 应用
原始标题:Formally verifying agent-written full-stack web apps with PDD Kit
内容摘要
Microsoft Research 推出 Proof-Driven Development 工具包 PDD Kit,将用户意图转为 Verus 形式化规范,证明智能体代码对每个输入满足规范,无法证明处回退到测试。
内容分类AI 产品发布与更新
内容层级普通情报
发布时间(北京时间)
本站收录时间(北京时间)
信息来源Microsoft Research 博客(RSS)
站内情报编号intel-6fee8b9a0792981c6731e8c7