Réunion Geccoo
INRIA Futurs, Parc Club, Bat G
15 janvier 2007
1
Participants
Sylvain Boulmé
Julien Charles
Sylvain Conchon
Jean-François Couchot
Evelyne Contejean
Fredéric Dadeau
Alain Giorgetti
Jean Goubault
Thierry Hubert
Marieke Huisman
Johannes Kanig
Claude Marché
Aurélien Oudot
Christine Paulin
Marie-Laure Potet
Silvio Ranise
Nicolas Stouls
2
Programme
12h30
Déjeûner
13h30
C. Paulin
Présentation générale
14h00
M. Huisman
Langages de haut niveau pour les propriétés de sécurité
14h30
M.-L. Potet,
Modularité et Raffinement
15h00
Pause café
15h30
C. Marché,
Des modèles adaptés à la génération d'obligations
16h00
S. Ranise
Démonstration automatique d'obligations de preuve
16h30
A. Giorgetti,
Détection d'erreurs
17h00
Questions, discussions
17h30
Fin de la réunion
Ce document a été traduit de L
A
T
E
X par
H
E
V
E
A