Address
Project Everest
INRIA Sophia-Antipolis
2004, Route des Lucioles
BP 93
06902 Sophia-Antipolis

Réunion de lancement

Sophia-Antipolis, 3 Février 2004

Participants:

L. van Aertryck (AQL), G. Barthe (INRIA), P. Bernard (OCS), G. Dufay (INRIA), A. Gotlieb (IRISA), M. Huisman (INRIA), T. Jensen (IRISA), D. Pichardie (IRISA), A. Saibi (OCS), G. Schneider (IRISA), J. Soussana (OCS)

Programme:

10:30 - 11:00 Gilles Barthe: Présentation
11:00 - 11:30 Amokrane Saibi: Besoins industriels
11:30 - 12:00 Guillaume Dufay: Vérification formelle de la plate-forme JavaCard
12:00 - 12:30 Thomas Jensen et David Pichardie: Analyses statiques
14:00 - 14:30 Arnaud Gotlieb: Génération automatique de données de test en utilisant la programmation logique avec contraintes
14:30 - 15:00 Lionel van Aertryck: Géneration automatique de tests
15:00 -16:15 Discussion et élaboration du plan de travail (compte rendu en accès restreint)

Retour à la page principale