#教程/实践

微软研究院发布 PDD Kit，用形式化验证检查智能体编写的全栈 Web 应用

微软研究院联合 GitHub Next 发布研究原型 PDD Kit，把开发者的自然语言意图转成 Verus 形式化规格，证明智能体生成的代码对每个输入都满足规格，证明覆盖不到的部分则用测试补充。