Room 206 (2nd floor, badged access)
12 novembre 2026 - 14h00
L'existence d'invariants polyédriques est indécidable dans les systèmes linéaires
par David Monniaux de CNRS - VERIMAG
Résumé : L'existence d'invariants inductifs polyédriques utilisables pour démontrer qu'un point de contrôle est inaccessible est indécidable pour des programmes utilisant seulement de l'arithmétique linéaire sur les entiers ou les rationnels, par réduction depuis des machines à deux compteurs.
