Table of Contents

An Approach for Model Checking Embedded Systems Software

Student

Michael Rohrbach

Tutor

Dr.rer.nat. Bastian Schlich