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

Authors: Lajeunesse-Robert, François
Advisor: Ktari, BéchirDesharnais, Jules
Abstract: 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.
Document Type: Mémoire de maîtrise
Issue Date: 2009
Open Access Date: 16 April 2018
Permalink: http://hdl.handle.net/20.500.11794/20710
Grantor: Université Laval
Collection:Thèses et mémoires

Files in this item:
SizeFormat 
25997.pdf1.36 MBAdobe PDFView/Open
All documents in CorpusUL are protected by Copyright Act of Canada.