Karlsruher Institut für Technologie (KIT)
Institut für Theoretische Informatik
Lehrstuhl Anwendungsorientierte Formale Verifikation
Adresse
Am Fasanengarten 5
76131 Karlsruhe
Deutschland
GERiT
Diese Institution in GERiT
76131 Karlsruhe
Projekte
Sachbeihilfen
laufende Projekte
KeY - Ein deduktives Software-Analyse-Werkzeug für die Forschungsgemeinschaft
(Antragsteller
Beckert, Bernhard
;
Bubel, Richard
;
Hähnle, Reiner
;
Ulbrich, Mattias
)
Unterstützung des Änderungsmanagements variantenreicher existierender Steuerungssoftware mittels statischer Codeanalyse für Unternehmen des Maschinen- und Anlagenbaus (CHANGE aPS)
(Antragstellerinnen / Antragsteller
Beckert, Bernhard
;
Vogel-Heuser, Birgit
)
abgeschlossene Projekte
Formal Object-oriented Software Development: The Whole Picture
(Antragsteller
Beckert, Bernhard
;
Schmitt, Peter H.
)
Integrierter Deduktiver Software-Entwurf
(Antragsteller
Schmitt, Peter H.
)
Integrierter Deduktiver Software-Entwurf
(Antragsteller
Beckert, Bernhard
)
Schwerpunktprogramme
abgeschlossene Projekte
Regression Verification in a User-Centered Software Development Process for Evolving Automated Production Systems
(Antragstellerinnen / Antragsteller
Beckert, Bernhard
;
Ulbrich, Mattias
;
Vogel-Heuser, Birgit
)
Sprachbasierte Spezifikation und deduktive Verifikation von Sicherheitseigenschaften
(Antragsteller
Beckert, Bernhard
)
Sonderforschungsbereiche
laufende Projekte
Formalisierung und Verknüpfung verschiedener Begriffe von Konsistenz
(Teilprojektleiter
Aßmann, Uwe
;
Beckert, Bernhard
;
Reussner, Ralf Heinrich
)
Graduiertenkolleg
(Teilprojektleiterinnen / Teilprojektleiter
Beckert, Bernhard
;
Koziolek, Anne
)
Konsistenzgestützte inkrementelle Qualitätsanalyse von CPS
(Teilprojektleiter
Beckert, Bernhard
;
Reussner, Ralf Heinrich
;
Sax, Eric
)