# Microsoft Research introduces Proof-Driven Development Kit

Microsoft · 2026-10-21 · Research result

> 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.

This update bears on 1 kind of work in 1 market. Highest level accepted: L1 Assisted.

## The work it bears on

- [Develop algorithms and study computational properties](https://surviagi.com/work/science-research-computing-engineering-algorithm-research) (Computing and engineering research): L1 Assisted · From the publisher only

## Published at

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

---

Page: https://surviagi.com/updates/ev-f41332f26b8d1f0a02d24e63828140a0eb0bbd12

Data generated 2026-10-22T00:18:52.702527+00:00; method activity-level-1; ontology 2.4.0.
Machine-proposed: no person has reviewed these readings, and the method is not calibrated.
Cite the page address together with the generation time.