1999-2000

Groupe de travail

Modélisation, Vérification et Tests des systèmes informatisés
&
Petite école pour la vérification

Le jeudi de 10h30 à 12h
Salle G.T. 2, LaBRI, Rez-de-chaussée


Programme du jeudi 7 octobre 1999

David Sherman.
Modélisation et vérification dans le contexte de la génomie.


Prévisions

Le groupe de travail

14 octobre. Alain Griffault (LaBRI)
AltaRica : état d'avancement et perspectives.
21 octobre. Davy Rouillard (LaBRI)
Les P-automates.
28 octobre. Gwendal Blorec et Jean Leneutre (Alcatel)
Générations de tests.
Un jour. Pierre Castéran (LaBRI)
Suites et preuves finies ou infinies (2).
Un jour. Alain Griffault (LaBRI)
Modélisation du typique 27.
Un jour. Didier Bégay (LaBRI)
Vérification d'agents transportables.
Un jour.
UML.
Un jour. David Janin (LaBRI)
JCOM.

La petite école pour la vérification

4 novembre. Kaninda Musumbu (LaBRI)
Interprétation abstraite.
Un jour. Jean-Michel Couvreur (LaBRI)
Vérification automatique de formules LTL sur des systèmes finis. (deuxième partie)
Un jour. Marc-Michel Corsini et/ou Benoit Le Blanc (LaBRI)
Réseaux de neurones, bases de connaissances.
Un jour. X (LaBRI)
Modèles pour la vérification.
Un jour. X (LaBRI)
Langages évolués pour la vérification.
Un jour. David Sherman (LaBRI)
Structures de données pour la vérification.
Un jour. Macha Nikolskaia (LaBRI)
Réécriture pour la vérification.
Un jour. Pierre Castéran et/ou Paul-Yves Gloess (LaBRI)
Les outils de preuves : logiques, théories...
Un jour. Pierre Castéran (LaBRI)
Suites et preuves finies ou infinies (2).

Réunions précédentes

30 septembre 1999. Réunion de rentrée.
  • Retour du colloque FME.
  • Rapide présentation des projets en cours (Merci aux divers responsables de prévoir 3 ou 4 minutes pour les présenter).
  • Préparation du programme (pensez aux personnes que vous aimeriez invité).
  • Questions diverses.

    Années précédentes


    Navigation

  • Equipe Modélisation, Vérification et Test des systèmes informatisés