Journées de travail entre :
Laboratoire de Spécification et Vérification
ENS de Cachan.
et :
Modélisation, Vérification et Test des systèmes informatisés
LaBRI, Université Bordeaux I.
Les lundi 13 et mardi 14 octobre 1997
Salle G.T. 3, LaBRI, Rez-de-chaussée
Programme du lundi 13 octobre 1997
11h15-12h15 : Jérome Dormoy (LaBRI)
- Un algorithme parallèle pour le calcul de points fixes.
12h30-14h00 : Pause repas.
14h00-15h00 : Bertrand Le Saëc (LaBRI)
15h00-16h00 : Laurent Fribourg (LSV)
- Langages rationnels caractérisant les ensembles reconnaissables d'états accessibles dans les anneaux parametrés.
16h00-16h15 : Pause café.
16h15-17h15 : Gérard Cécé (LSV)
- Vérification des automates à files à l'aide d'ensembles reconnaissables et de transitions symboliques.
17h15-18h15 : Alain Griffault (LaBRI)
- Méthodologie de modélisation et de vérification de systèmes critiques.
Programme du mardi 14 octobre 1997
9h00-10h00 : Antoine Rauzy (LaBRI)
- Sûreté de fonctionnement et méthodes formelles.
10h00-10h15 : Pause café.
10h15-11h15 : Catherine Dufourd (LSV)
- Analyse des réseaux de Petri de haut niveau.
11h15-12h15 : Gérald Point (LaBRI)
- Présentation du langage AltaRica.
12h30-14h00 : Pause repas.
14h00-15h00 : Raphaël Meyer (LSV)
- Une logique temporelle expressive pour les traces finies.
15h00-16h00 : Yan Jurski (LSV)
- Un calcul de points fixes dans l'arithmétique de
Presburger.
Organisation des journées
Anne Dicky,
bureau 315, LaBRI, tél. (05-56-84) 60-87,
Anne.Dicky@labri.u-bordeaux.fr
Alain Griffault,
bureau 205, LaBRI, tél. (05-56-84) 69-15,
Alain.Griffault@labri.u-bordeaux.fr
Navigation
Equipe
Modélisation, Vérification et Test des systèmes informatisés