Microsoft Research introduces Proof-Driven Development Kit

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.

Highest accepted

L1Assisted

Work

1

Markets

1

Views

9.65K

The work it bears on

Highest level first. Open a kind of work to see everything else that moved it.

• L1Assisted
  Develop algorithms and study computational propertiesComputing and engineering research
  L1 AssistedFrom the publisher only

Published at