Forschungsthemen: Formale Methoden der Softwaretechnik

• Formale Methoden der Softwaretechnik
• Common Framework Initiative (CoFI)
• DFG Projekt EXSPEC
• ESPRIT Basic Research WG COMPASS und COMPASS II
• IFIP Working Group 14.3
• Logik-Graph
• Multi-Logik Systeme
• Programmtransformation
• Spezifikationssprache SPECTRAL
• CoFI (externer Link)



• Entwicklungsumgebungen für Formale Methoden
• BMBF Projekt UniForM Workbench
• BMFT Verbundprojekt KORSO (Korrekte Software)
• Doktorandenstipendienprogramm Sichere Systeme
• ESPRIT Projekt PROSPECTRA
• Universelles Graph-Visualisierungssystem daVinci