APRON

Numerical Program Analysis

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























































Generic Abstract Domain Interface - Fourth Meeting

École polytechnique, Palaiseau, June 28, 2005


Attendance: Corinne Ancourt, François Irigoin, Bertrand Jeannet, Nicolas Halbwachs, Jérome Feret, Antoine Miné

  • Compte-rendu de la réunion (in French)
  • Présentation de l'algorithme utilisé dans PIPS pour trouver des invariants affines de boucles avec application au cas proposé par Nicolas Halbwachs, le contrôleur de voiture (François Irigoin); l'exposé a été fait au tableau et à la craie.
  • Discussionde la proposition d'interface faite par Bertrand Jeannet.