공식 발표해외
Formally verifying agent-written full-stack web apps with PDD Kit
Microsoft Research
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…
원문의 저작권은 Microsoft Research에 있습니다. 위 발췌는 원문 확인을 돕기 위한 짧은 인용입니다.