On the formal foundation of a verification approach for system-level concurrent programs [Elektronische Ressource] / Matthhias Daum

SSAATRIASVROn the Formal Foundationof a Verification Approachfor System-LevelConcurrent ProgramsDissertationzur Erlangung des Gradesdes Doktors der Ingenieurwissenschaften (Dr.-Ing.)der Naturwissenschaftlich-Technischen Fakult¨atender Universit¨at des SaarlandesMatthias Daummd11@wjpserver.cs.uni-saarland.deSaarbruc¨ ken, 10. August 2010IEEVNISNIUSEidesstattliche VersicherungHiermit versichere ich an Eides statt, dass ich die vorliegende Arbeit selbstand¨ ig und ohneBenutzung anderer als der angegebenen Hilfsmittel angefertigt habe. Die aus anderenQuellen oder indirekt ubernommenen Daten und Konzepte sind unter Angabe der Quelle¨gekennzeichnet.Die Arbeit wurde bisher weder im In- noch im Ausland in gleicher oder ahnlicher Form¨in einem Verfahren zur Erlangung eines akademischen Grades vorgelegt.Saarbruc¨ ken, den 26. Februar 2010Tag des Kolloquiums: 28. Juni 2010Dekan: Prof. Dr. Holger HermannsVorsitzender des Prufungsausschusses: Prof. Dr. Raimund Seidel¨1. Berichterstatter: Prof. Dr. Wolfgang J. Paul2. Berich Prof. Dr. Burkhart Wolff3. Berichterstatter: Prof. Dr. Reinhard Wilhelmakademischer Mitarbeiter: Dr. Eyad AlkassariiiIn memoriamRichard Prasse1915 – 2008I wake up every morning, and I still haven’t finished the book.Donald Knuth about “The Art of Computer Programming”AcknowledgmentsDuring graduation, many people have supported me, and though I cannot name every-one, I am grateful to all of them.