Automatisation de la vérification formelle avec une recherche arborescente guidée par agent
9/10Cet article présente une méthode utilisant des grands modèles de langage (LLM) pour accélérer la vérification formelle de logiciels, réduisant coûts et efforts en production. La technique améliore la faisabilité de déploiements sûrs via une approche agent-guidée qui oriente la recherche dans les arbres de preuves.
