Forschung

Die Forschung des Lehrstuhls Softwaretechnik und Programmiersprachen befasst sich mit Themen der formalen Software-Spezifikation, -Analyse und -Verifikation:

• Automatische Verifikation und Synthese Komponenten-basierter, asynchroner Systeme
• Heterogene Software Spezifikation
• Identifizieren und Analysieren von dynamischen Datenstrukturen

Die aktuellsten Informationen zu den Forschungsgebieten des Lehrstuhls finden Sie in englischer Sprache unter folgenden Verweisen:

• Learning Data Structure Behaviour from Executions of Pointer Programs
• Foundations of Heterogeneous Specifications Using State Machines and Temporal Logic