Formally verifying agent-written full-stack web apps with PDD Kit

<p>AI agents can generate code at a scale that’s hard for humans to review line-by-line. PDD Kit helps ensure the code is doing what the developer intended by creating formal specifications and testing against them. It converts developer intent into a Verus specification, proves AI-generated code meets it for every input, and uses tests where proofs aren't practical. Developers review intent, not every line. </p> <p>The post <a href="https://www.microsoft.com/en-us/research/blog/formally-verifying-agent-written-full-stack-web-apps-with-pdd-kit/">Formally verifying agent-written full-stack web apps with PDD Kit</a> appeared first on <a href="https://www.microsoft.com/en-us/research">Microsoft Research</a>.</p>