DAEDALUS |
10:00—10:15 | F. Randimbivololona (Airbus France) | Welcome |
10:15—10:45 | P. Cousot (ENS) | Overview of the scientific achievements of DAEDALUS |
10:45—11:30 | A. Deutsch (PolySpace) | Static Verification of Runtime Errors in ADA & C Programs |
11:30—11:45 | Coffee break | |
11:45—12:30 | C. Ferdinand (AbsInt) | Analyzing for Worst Case Execution Times (WCET) |
12:30—14:00 | Lunch | |
14:00—14:30 | E. Goubault (CEA) | Static Analysis of Programs on Floating-point Numbers |
14:30—15:00 | H. Seidel (UTRIER) | Static Analysis of C + POSIX |
15:00—15:15 | Coffee break | |
15:15—15:45 | M. Sagiv (TAU) | Static Analysis for Memory Cleanness |
15:45—16:15 | F. Randimbivololona (Airbus France) | Exploitation plan |
16:15—17:00 | All participants | Concluding discussion |
, meetings; P. Cousot: Index, Institutions, Enseignement / Teaching, Recherche / Research, Services
Dernière mise à jour / Last modified : Wednesday, 04-Jun-2003 12:39:52 CEST