Project Details

Professor Dr. Bernhard Beckert

Address Karlsruher Institut für Technologie (KIT)
Institut für Theoretische Informatik
Lehrstuhl Anwendungsorientierte Formale Verifikation
Am Fasanengarten 5
76131 Karlsruhe

Projects

As Applicant
- Current projects
  - KeY - A Deductive Software Analysis Tool for the Research Community (Research Grants)
  - Static Analysis to Support Change Management in Variant-rich Legacy Control Software for Machine and Plant Engineering companies (CHANGE aPS) (Research Grants)
- Completed projects
  - Integrierter Deduktiver Software-Entwurf (Research Grants)
  - Formal Object-oriented Software Development: The Whole Picture (Research Grants)
  - Program-level Specification and Deductive Verification of Security Properties (Priority Programmes)
  - Regression Verification in a User-Centered Software Development Process for Evolving Automated Production Systems (Priority Programmes)
As Project Head
- Current projects
  - Formalising and Relating Different Notions of Consistency (Collaborative Research Centres)
  - Consistency-Enabled Incremental Quality Analysis of CPS (Collaborative Research Centres)
  - Research Training Group (Collaborative Research Centres)
As Participating Person
- Completed projects
  - Integrierter Deduktiver Software-Entwurf (Research Grants)

Servicenavigation

Hauptnavigation

Professor Dr. Bernhard Beckert

Additional Information

Servicenavigation

Hauptnavigation

Professor Dr. Bernhard Beckert

Additional Information

Textvergrößerung und Kontrastanpassung