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.
Identifer | oai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:QQLA.2009/25997 |
Date | 02 1900 |
Creators | Lajeunesse-Robert, François |
Contributors | Ktari, Béchir, Desharnais, Jules |
Publisher | Université Laval |
Source Sets | Library and Archives Canada ETDs Repository / Centre d'archives des thèses électroniques de Bibliothèque et Archives Canada |
Language | French |
Detected Language | French |
Type | Electronic Thesis or Dissertation |
Format | text/html, application/pdf |
Rights | © François Lajeunesse-Robert, 2009 |
Page generated in 0.0017 seconds