In dieser Vorlesung werden verschiedene formale Methoden erklärt und es wird gezeigt wie diese in der Entwicklung eingebetteter Systeme verwendet werden können. Zu diesen formalen Methoden zählen:

• Abstrakte Interpretation
• Model-Checking
• Statische Analyse

Dabei werden die formalen Methoden auf unterschiedliche Modelle angewendet. Zu den behandelten Modellen zählen:

• Automaten
• Zeitautomaten
• ggf. hybride Automaten
• Assembler-Code
• C-Code
• ggf. MATLAB Modelle