|
> Congress /Final Programme / Topical days / Top4
Top4: Abstract Interpretation
Tuesday 24 August 2004
Room
Diamant
Organiser
Patrick Cousot (École Normale Supérieure de Paris, France)
Programme
 10h30 - 12h00: Foundations
Chair : Famantanantsoa Randimbivololona (Airbus France, Toulouse)
Basic Concepts of Abstract Interpretation - Patrick Cousot (Ecole Normale Supérieure de Paris, France)
13h30 - 15h:
Tools
Chair: Radhia Cousot (École Polytechnique, Palaiseau, France)
TVLA: A System for Generating Abstract Interpreters - Mooly Sagiv (Tel-Aviv U., Israel)
AiT: Worst Case Execution Time - Christian Ferdinand (AbsInt GmbH, Saarbruecken, Germany)
15h30 - 17h:
Tools and experience
Chair: Radhia Cousot (École Polytechnique, France)
Astrée: Verification of Absence of Run-Time Errors - Laurent Mauborgne (École Normale Supérieure de Paris, France)
Experience with the Industrial Use of Abstract Interpretation-Based Static Analysis Tools - Jean Souyris (Airbus France)
|
