Sujets
de stages Master 2 recherche :
Approche
incrémentale et modulaire pour la vérification de propriétés
temporelles linéaires sur les réseaux de Petri
Vérification
modulaire de systèmes temporisés : aspects structurels et
dynamiques
Vérification
formelle de diagrammes UML
Implémentation
et étude d'un outil pour la vérification de workflow
inter-entreprises