Preuve de propriétés dynamiques en B. (Proving dynamic properties in B) (original) (raw)

Je tiens à exprimer ma profonde gratitude et reconnaissance à toutes les personnes qui ont permis la réalisation et l'aboutissement de cette thèse. Mes premiers remerciements sont adressés à mes directeurs de thèse Mme. Amel Mammar (Télécom Sud Paris) et M.Marc Frappier (Université de Sherbrooke) qui m'ont encadrée et soutenue pendant toutes ces années. Je remercie également M.Jérémie Christian Attiogbe et M.Vincent Poirriez, rapporteurs de cette thèse, pour la minutieuse relecture du manuscrit, les corrections et commentaires. Mes remerciements vont ensuite à Mme. Régine Laleau, M.Richard St-Denis et M.Samir Tata pour avoir accepté de participer au jury de thèse.