Microsoft Research 发布 PDD Kit，用 Verus 形式化验证智能体编写的全栈 Web 应用

导读

Microsoft Research 推出 Proof-Driven Development 工具包 PDD Kit，将用户意图转为 Verus 形式化规范，证明智能体代码对每个输入满足规范，无法证明处回退到测试。