Validation of critical software by static analysis and abstract testing

Programme of the free seminar for potential industrial users

Saarbrücken, Germany, Friday September 27, 2002.
Registration, Invitation leaflet

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

Synthetic summary of the DAEDALUS project
Retour à / back to: DAEDALUS, meetings; P. Cousot: Index, Institutions, Enseignement / Teaching, Recherche / Research, Services
Email: cousot@di.ens.fr, cousotp@acm.org
Dernière mise à jour / Last modified : Wednesday, 04-Jun-2003 12:39:52 CEST