Formally verifying agent-written full-stack apps with Proof-Driven Development

Posted 1 hour ago by matt_d
2 points

https://www.microsoft.com/en-us/research/blog/formally-verifying-agent-written-full-stack-web-apps-with-pdd-kit/

0 comments