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