GitHub Next 与 Microsoft Research 发布 PDD Kit 研究原型

GitHub Next 与 Microsoft Research 发布 PDD Kit 研究原型，以形式化验证辅助审查 AI 生成的全栈代码。PDD Kit 会将开发者意图转化为 Verus 规约，通过数学证明检查代码是否对所有输入满足规约，未覆盖部分再辅以测试；人负责规划、评审及判断软件应做什么。