Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

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 )

© 2024 DFG Disclaimer / Copyright / Privacy Policy