ENSMP, Paris, Oct. 28, 2004
- Exposé de Patrick Cousot: Présentation de l'interprétation abstraite
et de l'analyseur ASTREE
- Exposé de Nicolas
Halbwachs: Activités à VERIMAG, réduction de la dimension de l'espace
em analyse de relations linéaires, élargissement et accélération, un
domaine pour la vérification des systèmes sur puce
- Exposé de Bertrand Jeannet: treillis numériques et interface commune,
produits réduits, vérification interprocédurale et partitionnement
dynamique, vérification de programmes LUSTRE avec NBAC
- Exposé de Duong Nguyen:
