Details

Résolution d'équations en algèbre de Kleene - Applications à l'analyse de programmes

by Lajeunesse-Robert, François

Abstract (Summary)
Au fil des ans, l’algèbre de Kleene s’est avérée être un outil formel très pratique et flexible quant vient le temps de raisonner sur les programmes informatiques. Cependant, actuellement, la plupart des applications à l’analyse de programmes de l’algèbre de Kleene se font en sélectionnant un problème précis et en voyant comment l’algèbre de Kleene permet de le résoudre, ce qui limite les applications possibles. L’objectif visé par ce mémoire est de déterminer dans quelle mesure la résolution d’équations, en algèbre de Kleene, peut être utilisée en analyse de programmes. Une grande partie de ce mémoire est donc consacrée à la résolution de différents types d’équations dans différentes variantes de l’algèbre de Kleene. Puis nous montrons comment la vérification de programmes ainsi que la synthèse de contrôleurs peuvent tirer profit de la résolution d’équations en algèbre de Kleene.
Bibliographical Information:

Advisor:Ktari, Béchir; Desharnais, Jules

School:Université Laval

School Location:Canada - Quebec / Québec

Source Type:Master's Thesis

Keywords:informatique

ISBN:

Date of Publication:02/01/2009

© 2009 OpenThesis.org. All Rights Reserved.