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.