微软研究院推出 PDD Kit，用形式化验证校验 AI 生成代码

微软研究院的 Proof-Driven Development（PDD）Kit 将开发者意图转成形式化规格，再用形式化验证证明生成的代码符合规格，以应对 AI 智能体写代码增多后的正确性问题。