Aller au contenu
Édition de l'après-midi · N° 625 · prochaine à 22 h
Compte
Connexion

Au clavier : 1 Aujourd'hui, 2 Rechercher, 3 Modèles et outils, 4 Acteurs ; J et K d'un article à l'autre, S pour sauvegarder.

Fellow
La veille de l'intelligence artificielle, en français
Rechercher⌘K
RECHERCHE · Microsoft
OUTILVerdict : notable

Vérifier formellement des applications web full-stack écrites par des agents avec PDD Kit

Microsoft Research présente PDD Kit, qui convertit l'intention du développeur en spécification formelle Verus, prouve le code des agents pour toute entrée et recourt aux tests là où la preuve échoue.

Microsoft Research·Alex Lavaee, Matthai Philipose·5 novembre 2026

Lu et jugé par Fellow · impact notable

Outil de vérification formelle (Verus) démontré sur une application Rust de 5 000 lignes, avec bugs réels détectés ; avancée concrète mais validée sur un seul cas, sans évaluation indépendante.

Verdict rendu par une IA selon une grille publique

Discuter de ce verdict

Le tri de Fellow, chaque matin à 9 h 45, heure de Paris, dans votre boîte.
Vérifier formellement des applications web full-stack écrites par des agents avec PDD Kit
Image · Source originale
PDD Kit vise à rendre les méthodes formelles accessibles aux ingénieurs sans formation dédiée, face à la difficulté de relire ligne à ligne le code généré par des agents. L'outil élabore avec l'utilisateur une spécification en Verus, prouve que le code de l'agent la respecte et complète par des tests. Testé dans Chopin de GitHub Next sur la logique de connexion de Pet Store, une boutique en Rust, il a renforcé le code et révélé des bugs existants, sans relecture ligne à ligne par le développeur.

Traduit et résumé par IA à partir de l'article de Microsoft Research ↗ · Comment Fellow travaille

OUVRIR LA SOURCE ↗
#méthodes-formelles#agents#verus#vérification-de-code#rust

Une question sur cet article ?

Fellow répond à partir de ce qu'il a publié et cite chaque source. Réponses rédigées par une IA.

À lire aussi