Compiler Verification in the Contextof Pervasive System VerificationDissertationzur Erlangung des Gradesdes Doktors der Ingenieurswissenschaften (Dr.-Ing.)der Naturwissenschaftlich-Technischen Fakultaten¨der Universit¨at des SaarlandesDirk Carsten Leinenbachdirkl@cs.uni-sb.deSaarbruck¨ en, Juni 2008Tag des Kolloqiums: 24.06.2008Dekan: Prof. Dr. Joachim WeickertVorsitzender des Prufungsausschusses: Prof. Dr. Gert Smolka¨1. Berichterstatter: Prof. Dr. Wolfgang J. Paul2. Berich Prof. Dr. Tobias Nipkow3. Berichterstatter: Prof. Dr. Andreas Podelskiakademischer Mitarbeiter: Dr. Mark A. HillebrandiScience: A way of finding things out and thenmaking them work. There is a lot more Sciencethan you think.—From A Scientific Encyclopedia for the EnquiringYoung Nome by Angalo de Haberdasheri.WingsTerry PratchettDanksagungAn dieser Stelle m¨ochte ich all jenen danken, die zum Gelingen der vorliegendenArbeit beigetragen haben.Zun¨achst gilt mein Dank meinen Eltern, die mich stets ermutigt haben mei-nen Weg zu gehen und mich wahrend¨ meiner gesamten Ausbildung unterstut¨ zthaben.HerrnProf.Pauldankeichfur¨ dieM¨oglichkeit,meinePromotionimRahmeneines so interessanten Projektes wie Verisoft durchfuh¨ ren zu konn¨ en, sowie fur¨die wissenschaftliche Betreuung insbesondere im Anfangsstadium der Arbeit.Ganz besonders danke ich meiner Freundin Sandra Sch¨afer, ohne derengrenzenlose Geduld und Aufmunterungen diese Arbeit nicht zustandegekommenware.