APRON

Numerical Program Analysis

This projects belongs to the ACI "Sécurité & Informatique"























































Kick-Off meeting

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: