MicrosoftAnalysisDevelopersNovember 5, 2026

Microsoft's PDD Kit formally verifies agent-written code

Read original source →microsoft.com

PDD Kit turns developer intent into a Verus formal spec, then proves the agent's code meets it for every input, falling back to tests where proofs can't reach. Tested inside GitHub Next's Chopin on Pet Store, a Rust storefront, it proved absence of login bugs without line-by-line code review.

1 source

More stories today

Open the live feed