Equipe SVS

L’équipe Spécification et Vérification des Systèmes (SVS) se penche sur la vérification automatique de propriétés des systèmes concurrents. Les travaux de cette équipe sont axés sur la distribution de la vérification et la vérification modulaire comme moyens pour pallier au phénomène de l'explosion combinatoire. Dans le cas de la vérification distribuée, on se penche particulièrement sur les aspects équilibre de charge grâce à la virtualisation de processeurs. Nous nous Intéressons à la fois à la vérification de propriétés dites générales (l'atteignabilité, la vivacité, le blocage, ...) et aux propriétés spécifiques exprimées en logique temporelles (CTL, LTL), et nous utilisons les modèles formels tels que les réseaux de Petri pour la description du comportement. Nous nous intéressons aussi à l'adaptation de composants communicants décrits à l'aide d'automates en proposant des algorithmes efficaces pour la construction d'adaptateurs.