使用 PDD Kit 形式化验证全栈网络应用

1. 00:00
   Microsoft Research

   使用 PDD Kit 形式化验证全栈网络应用

   PDD Kit 是一款工具，它通过将开发者的意图转化为形式化规范，并证明 AI 代理编写的代码符合该规范，从而帮助开发者可靠地审查 AI 代理生成的代码，特别是在全栈网络应用程序等大型项目中，解决了传统人工审查难以扩展的问题。

当前热度 3·可比范围峰值 8（11月6日 06:00）·近 24 小时可比范围变化 -49%

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。