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
)