Professor Dr. Bernhard Beckert

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

ORCID-ID 0000-0002-9672-3291

Projekte

Als Antragsteller
- laufende Projekte
  - KeY - Ein deduktives Software-Analyse-Werkzeug für die Forschungsgemeinschaft (Sachbeihilfen)
  - Unterstützung des Änderungsmanagements variantenreicher existierender Steuerungssoftware mittels statischer Codeanalyse für Unternehmen des Maschinen- und Anlagenbaus (CHANGE aPS) (Sachbeihilfen)
- abgeschlossene Projekte
  - Integrierter Deduktiver Software-Entwurf (Sachbeihilfen)
  - Formal Object-oriented Software Development: The Whole Picture (Sachbeihilfen)
  - Sprachbasierte Spezifikation und deduktive Verifikation von Sicherheitseigenschaften (Schwerpunktprogramme)
  - Regression Verification in a User-Centered Software Development Process for Evolving Automated Production Systems (Schwerpunktprogramme)
Als Teilprojektleiter
- laufende Projekte
  - Formalisierung und Verknüpfung verschiedener Begriffe von Konsistenz (Sonderforschungsbereiche)
  - Konsistenzgestützte inkrementelle Qualitätsanalyse von CPS (Sonderforschungsbereiche)
  - Graduiertenkolleg (Sonderforschungsbereiche)
Als Beteiligte Person
- abgeschlossene Projekte
  - Integrierter Deduktiver Software-Entwurf (Sachbeihilfen)