| 09:15-10:00 | L'approche modelware : exploitation des modèles au cœur des systèmes - apports et besoins pour la vérification | M. Sibilla (IRIT) et F. Jocteur-Monrozier (CNES) |  |
| 10:30-11:15 | Nouvelles techniques de " model-checking " pour la vérification de systèmes complexes | A. Duret-Lutz, S. Baarir, Y. Thierry-Mieg et F. Kordon (Université P. & M. Curie/LIP6-SRC) |  |
| 11:15-11:45 | Validation dynamique de modèles UML | J.-M. Jezequel (IRISA) | |
| 11:45-12:30 | Mise en œuvre d'observateurs temporisés pour la validation de logiciels temps réel | P. Dhaussy, J.-C. Roger et O. Habart (ENSIETA) | |
| 14:00-14:45 | Vérification par affinement des systèmes électroniques | S. Hallerstede (KEESDA), Y. Zimmermann (KEESDA), D. Cansell (LORIA) | |
| 14:45-15:30 | Projet NEPTUNE : vérification statique d'un modèle | T. Milan, C. Percebois, H. Leblanc, P. Bazex (IRIT) | |
| 16:00-16:45 | Vérification dans un AGL orienté modèles | M. Filali (1)(2), P. Michel (1)(3), P. Farail, P. Gaufillet (4), F. Vernada (1) (5) - (1) FeRiA (2) IRIT (3) ONERA (4) AIRBUS FRANCE (5) LAAS | |
