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.