Forschung

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

• Heterogene Software Spezifikation
• Parallele Software Verifikation
• Analyse Dynamischer Speicherverwaltung