Réunion Geccoo

1  Participants

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 L^AT_EX by H^EV^EA.