微软研究院推出 PDD Kit

2026年11月6日，Microsoft Research 展示了 PDD Kit，用于对智能体编写的全栈 Web 应用进行形式化验证。该工具会将开发者意图转换为 Verus 形式化规格，并据此验证智能体生成的代码是否满足这些规格。对于形式化证明无法覆盖的部分，PDD Kit 使用测试进行验证。此次报道介绍了其面向智能体应用开发的验证流程，但未披露更多实际部署或应用结果。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。