Sujets de stages Master 2 recherche :

1. Approche incrémentale et modulaire pour la vérification de propriétés temporelles linéaires sur les réseaux de Petri

2. Vérification modulaire de systèmes temporisés : aspects structurels et dynamiques

3. Vérification formelle de diagrammes UML

4. Implémentation et étude d'un outil pour la vérification de workflow inter-entreprises