====== An Approach for Model Checking Embedded Systems Software ======

===== Student =====
Michael Rohrbach

===== Tutor =====
[[:en:lehrstuhl:mitarbeiter:schlich]]