Microsoft Research· Alex Lavaee, Matthai Philipose·· 5 天前AI 评分58
微软研究院推出 PDD Kit，用形式化验证约束智能体编写的全栈 Web 应用
Formally verifying agent-written full-stack web apps with PDD Kit
AI 导读
微软研究院发布研究原型 PDD Kit，把开发者的自然语言意图转成 Verus 形式化规格，再证明编码智能体生成的代码对每个输入都满足该规格，证明覆盖不到的部分回退到测试。
来源：Microsoft Research · microsoft.com