Mot clé : vérification formelle de systèmes informatiques