Réunion Geccoo

Orsay, bât 490, salle 101

8 septembre 2003

1   Participants

2   Programme

10h00

Accueil café

10h45

Krakatoa : présentation Transparents postscript
Claude Marché

11h15

L'outil Jack & Propriétés de sécurité.
Lilian Burdy

11h45

haRVey: a System for First-Order Satisfiability Checking and some Applications
Silvio Ranise

14h

Evaluation symbolique de modèles formels de spécification en programmation en logique avec contraintes - Application à la Validation et Vérification dans le cadre du projet GECCOO".
Bruno Legeard

14h30

Modularité et raffinement : l'approche B.
Marie-Laure Potet-Sylvain Boulmé

15h

Vers un langage de spécification modulaire
Marie-Laure Potet-Sylvain Boulmé
Transparents advi Transparents postscript

15h45

Discussions sur le programme de travail

17h

Fin de la réunion

This document was translated from L^AT_EX by H^EV^EA.