Rapports sur l'IA · Microsoft · 2026-11-05 · Annonce de produit
Vérification formelle d'applications web full-stack écrites par des agents avec PDD Kit
Titre original: Formally verifying agent-written full-stack web apps with PDD Kit
PDD Kit transforme l'intention d'un développeur en spécification formelle Verus, prouve que le code généré par l'IA la respecte pour toute entrée, et se rabat sur des tests lorsque les preuves sont impraticables. Lors d'un essai dans Chopin de GitHub Next, il a vérifié la logique de connexion de Pet Store, une boutique en Rust, en révélant des bogues existants et en prouvant l'absence de bogues de connexion par rapport à la spécification. Le développeur a examiné l'intention sans lire le code généré ligne par ligne.