CAV 2025

CAV signifie Conférence internationale sur la vérification assistée par ordinateur. Il s'agit de la 37e conférence d'une série de conférences consacrées à l'avancement de la théorie et de la pratique des méthodes d'analyse formelle assistée par ordinateur pour les systèmes matériels et logiciels. La conférence a couvert tous les sujets, des résultats théoriques aux applications concrètes, en mettant l’accent sur les outils de vérification pratiques et les algorithmes et techniques nécessaires à leur mise en œuvre. CAV estime qu’il est essentiel de continuer à repousser les limites de la vérification du matériel et des logiciels tout en s’étendant à de nouveaux domaines tels que l’apprentissage automatique, les systèmes autonomes et la sécurité informatique. Les actes de la conférence seront publiés dans la série Springer-Verlag Lecture Notes in Computer Science. Il est prévu que certains articles seront invités à être publiés dans le numéro spécial de « Formal Methods in System Design » et « ACM Journal ».