Réunion Geccoo
Orsay
Bat 490-Salle 101
14 Mars 2005 |
1 Participants
Francoise Bellegarde
Sylvain Boulmé
Julien Charles
Sylvain Conchon
Evelyne Contejean
Fredéric Dadeau
Jean Duprat
Jean-Christophe Filliâtre
Alain Giorgetti
Jean Goubault
Julien Groslambert
Nicolas Halbwachs
Jacques Julliand
Claude Marché (après-midi)
Christine Paulin
Marie-Laure Potet
Silvio Ranise
Julien Roussel
Nicolas Stouls
Sorin Stratulat
Calogero Zarba
2 Programme
-
10h00
- Christine Paulin : Présentation Geccoo
- 10h30
- Sylvain Boulmé :
Plan de travail pour le raffinement d'ordre supérieur et son application à
l'objet.
- 11h00
- Nicolas Stouls et Marie-Laure Potet: Travaux sur Demoney
- 11h30
- Frédéric Dadeau et Julien Groslambert :
Checking JML Specifications with B Machines (article accepté à ZB 2005).
- 12h00
- Julien Charles :
Vérification d'un composant java: le vérificateur de bytecode
- 12h30
- Déjeûner
- 14h00
- Alain Giorgetti et Julien Groslambert :
Avancement de l'outil de génération
d'assertions JML.
- 14h30
- Silvio Ranise : HaRVey. Structuration de la théorie de
background, intégration de l'arithmétique et expansion de
définition. Résultats expérimentaux sur les benchmark NASA
- 15h00
- Calogero Zarba : HaRVey. Procédures de décision pour
les structures de données container (liste, ensembles, tableaux, etc)
- 15h30
- Sylvain Conchon : à propos de SAT-solver
- 16h00
- Discussion
- 17h00
- Fin de la réunion
This document was translated from LATEX by
HEVEA.