Réunion Geccoo
Orsay, bât 490, salle 101
8 septembre 2003
1 Participants
Françoise Bellegarde
Sylvain Boulmé
Fabrice Bouquet
Lilian Burdy
Fredéric Dadeau
Alain Giorgetti
Jacques Julliand
Marieke Huisman
Bruno Legeard
Claude Marché
Christine Paulin
Marie-Laure Potet
Silvio Ranise
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 LATEX by
HEVEA.