L'IA face aux grands problèmes du monde · Informatique théorique · arXiv · 2026-10-22
VERDICT : Vérification modulaire parallèle multi-agents
Titre original: VERDICT: Multi-Agent Parallel Modular Verification
VERDICT aborde la synthèse de spécifications et les contraintes de dépendance dans la vérification logicielle modulaire en assignant un agent à chaque fonction. Les agents travaillent en parallèle en utilisant des contrats supposés pour les fonctions appelées, puis réconcilient les conflits en propageant les révisions dans les deux directions à travers le graphe d'appels. Sur des programmes C réels, il a produit des spécifications de meilleure qualité plus rapidement que les approches existantes et a écarté presque toutes les erreurs d'exécution potentielles dans un analyseur X.509 complet de 20,000 lignes en quelques heures.