Retour à l'index du GREYC

Séminaire Algorithmique

Site du CNRS

Séminaire Algorithmique

Le séminaire a lieu le mardi à 11 h 45 (sauf modification exceptionnelle), au campus Côte de Nacre, bâtiment Sciences 3, salle S3 351, 3ème étage.

Résumé du séminaire du Mardi 17 Janvier 2012

Il est intéressant d'approcher pour vérifier...

par Sylvain Peyronnet (LRI, Orsay)

La vérification est un domaine important de l'informatique, d'un point de vue applicatif bien sur, mais aussi d'un point de vue théorique.

Dans cet exposé, je présenterai d'abord quelques problèmes passés et actuels à la croisée des chemins entre vérification et approximation : model checking approchée pour LTL, génération de chemins uniformément dans des grands systèmes, etc. Puis dans une deuxième partie, je parlerais d'un résultat plus récent concernant l'équivalence de système non-déterministe.

GREYC
Campus Côte de Nacre, boulevard du Maréchal Juin
BP 5186
14032 Caen Cedex
FAX : +33 (0)2 31 56 73 30
http://www.greyc.fr