Seminaire Oasis

Toufik Maarouk

Projet Oasis, DEA univ. d'Orléans

Mardi 3 septembre 2002, 15h, salle du conseil

Titre: Outils pour le model-checking d'applications Java distribuées
Résumé :
La vérification de propriétés de programmes est un domaine de recherche en pleine expansion. Dans cet exposé je vais présenter deux outils de model checking, dans le cadre d'une plate-forme d'analyse et de vérification des systèmes distribués développé par le projet OASIS. Dans une 1ere partie nous comparons ces deux outils à plusieurs niveaux : Format d'entrée des systèmes, formalisme pour la spécification des propriétées, nature des résultats, et limites de chacun. Dans la 2eme partie je propose un format pour représenter des systèmes finis paramétrés, et un outil pour traiter ce type de systèmes. Retour au sommaire / Back to schedule

Eric Madelaine

Last modified: Fri Feb 1 16:55:34 MET 2002