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.

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

最高采信

L1辅助

工作

1

赛道

1

浏览

9651

它涉及的工作

级别高的在前。点开一项工作，查看推动它的其他更新。

• L1辅助
  提出算法并研究计算性质计算机与工程技术研究
  L1 辅助仅来自发布方

发布于