# Microsoft Research introduces Proof-Driven Development Kit

Microsoft · 2026-10-21 · 研究成果

> Microsoft Research's PDD Kit translates developer intent into a formal specification and uses formal verification to prove generated code meets it, working with Verus for Rust and integrated with GitHub Next's Chopin.

这条更新涉及 1 条赛道的 1 项工作，最高采信到 L1 辅助。

## 它涉及的工作

- [提出算法并研究计算性质](https://surviagi.com/zh-CN/work/science-research-computing-engineering-algorithm-research)（计算机与工程技术研究）：L1 辅助 · 仅来自发布方

## 发布于

- [来源 1](https://x.com/MSFTResearch/status/2112987215496093979)

---

页面：https://surviagi.com/zh-CN/updates/ev-f41332f26b8d1f0a02d24e63828140a0eb0bbd12

数据生成于 2026-10-22T00:18:52.702527+00:00；方法 activity-level-1；本体 2.4.0。
由机器提出：这些读数未经人工审核，方法也未经校准。
引用时请写页面地址和数据生成时间。