MVTsi

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

Prévision

Réunions précédentes

Le 6 mai. Rodolphe Pueyo (thésard au CNET avec Olivier Dubuisson)
formalisation en PVS d'une sémantique déclarative de ASN.1?

Le 20 avril. François Vernadat(Laas/Toulouse)
"Graphe couvrant : une approche ordre partiel pour la maîtrise de l'explosion combinatoire"
Le 6 avril. Stephan Merz(Université de Munich)
Temporal Logic for Isabelle
Le 16 mars. Kaninda Musumbu (LaBRI)
Interprétation abstraite cadre général.
Le 24 mars. Olivier Roux(IRCYN- Nantes)
Ecole Centrale de Nantes et Institut Universitaire de France.
Automates hybrides à file FIFFO.
Le 10 février. Jean-Michel Couvreur (LaBRI)
Vérification automatique de formules LTL sur des systèmes 2 ème Partie..
Le 3 février. Jean-Michel Couvreur (LaBRI)
Vérification automatique de formules LTL sur des systèmes
13 janvier. Macha NIKOLSKAIA(LaBRI):
"Binary decision diagram and applications to Realibility analyzes"
et
Gérald Point(LaBRI):
"AltaRica : Contribution à l'unification des méthodes formelles
et de la sûreté de fonctionnement"
9 decembre. Giacomo Lenzi (LaBRI et Pise)
Une Caractérisation au second ordre des automates de Buchi
2 decembre. Paul Y Gloess (LaBRI)
PVS et la programmation impérative.
Sébastien Grivet (LaBRI)
Enjeux des méthodes ordre partiel pour les systèmes informatisés
4 novembre. Davy Rouillard (LaBRI)
Les P-automates.
28 octobre Gwendal Blorec et Jean Leneutre (Alcatel)
Le Test de Systèmes chez Alcatel
21 octobre Table Ronde
Discusion et Rédaction d'un projet commun INRIA-LaBRI, autour d'AltaRica
14 octobre Alain Griffault (LaBRI)
AltaRica : état d'avancement et perspectives.
7 octobre David Sherman (LaBRI).
Modélisation et vérification dans le contexte de la génomie.
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

MVTsi 1999-2000.

MVTsi 1998-1999.

MVTsi 1997-1998.

MVTsi 1996-1997.

MVTsi 1995-1996.

Sémantique du parallélisme 1994-1995.

Sémantique du parallélisme 1993-1994.

Sémantique du parallélisme 1992-1993.

Navigation

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