Forschungsgruppe
Jacobs
Rigorous Analysis and Design (RAD)
Die Forschungsgruppe Rigorous Analysis and Design (RAD) entwickelt grundlegende Techniken für die Analyse und den Entwurf von Systemen mit beweisbarer Korrektheitsgarantie. Dazu gehören Ansätze für die Analyse von Software im Hinblick auf Sicherheitseigenschaften und potenzielle Informationslecks sowie der automatische Entwurf beweisbar korrekter Systeme aus formalen Spezifikationen, d. h. die Programmsynthese. Eine unserer Hauptforschungsfragen ist, wie man die Analyse und den Entwurf von Systemen mit einer parametrischen Anzahl von Komponenten automatisieren kann, um Korrektheitsgarantien unabhängig von deren Größe zu erhalten.
