原文跳转提示
此资讯内容来源于外部网站，将在 60 秒后自动跳转到原文页面
https://www.microsoft.com/en-us/research/blog/formally-verifying-agent-written-full-stack-web-apps-with-pdd-kit/
使用 PDD Kit 对代理编写的全栈 Web 应用进行形式化验证
AI 代理可以生成大量代码，人工逐行审查并不容易。PDD Kit 将开发者的意图转化为 Verus 规格，并证明 AI 生成的代码对所有输入都满足该规格，以检查代码是否符合预期。形式化证明不切实际时，工具会改用测试。这样，开发者可以审查意图，而不必逐行检查代码。
本文来源：微软研究院，仅供学习参考，版权归原作者所有。