Karlsruher Institut für Technologie (KIT)
Institut für Theoretische Informatik
Lehrstuhl Anwendungsorientierte Formale Verifikation

Address Am Fasanengarten 5
76131 Karlsruhe
Deutschland

GERiT This institution in GERiT

76131 Karlsruhe

Projects

Research Grants
- Current projects
  - KeY - A Deductive Software Analysis Tool for the Research Community
    (Applicants Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Ulbrich, Mattias )
  - Static Analysis to Support Change Management in Variant-rich Legacy Control Software for Machine and Plant Engineering companies (CHANGE aPS)
    (Applicants Beckert, Bernhard ; Vogel-Heuser, Birgit )
- Completed projects
  - Formal Object-oriented Software Development: The Whole Picture
    (Applicants Beckert, Bernhard ; Schmitt, Peter H. )
  - Integrierter Deduktiver Software-Entwurf
    (Applicant Schmitt, Peter H. )
  - Integrierter Deduktiver Software-Entwurf
    (Applicant Beckert, Bernhard )
Priority Programmes
- Completed projects
  - Program-level Specification and Deductive Verification of Security Properties
    (Applicant Beckert, Bernhard )
  - Regression Verification in a User-Centered Software Development Process for Evolving Automated Production Systems
    (Applicants Beckert, Bernhard ; Ulbrich, Mattias ; Vogel-Heuser, Birgit )
Collaborative Research Centres
- Current projects
  - Consistency-Enabled Incremental Quality Analysis of CPS
    (Project Heads Beckert, Bernhard ; Reussner, Ralf Heinrich ; Sax, Eric )
  - Formalising and Relating Different Notions of Consistency
    (Project Heads Aßmann, Uwe ; Beckert, Bernhard ; Reussner, Ralf Heinrich )
  - Research Training Group
    (Project Heads Beckert, Bernhard ; Koziolek, Anne )