Offre de thèse en Vérification formelle de systèmes interactifs par approche déductive