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 )