====== Einsatz von statischen Analysen im Bereich des Model-Checking von Software für eingebettete Systeme ======

===== Student =====
Jann Löll

===== Betreuer =====
[[:lehrstuhl:mitarbeiter:schlich]]