Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Technische Universität Darmstadt
Fachbereich Informatik
Fachgebiet Software Engineering

Address Hochschulstraße 10
64289 Darmstadt
Deutschland

GERiT This institution in GERiT

64289 Darmstadt

Projects

Priority Programmes
- Completed projects
  - Fully Automatic Logic-Based Information Flow Analysis
    (Applicant Bubel, Richard )
  - Hybrid static/dynamic inter-application data-flow analysis
    (Applicant Hähnle, Reiner )
Research Fellowships
- Completed projects
  - Feature-orientierte Verifikation von Softwareproduktlinien
    (Applicant Schaefer, Ina )
Research Grants
- Current projects
  - KeY - A Deductive Software Analysis Tool for the Research Community
    (Applicants Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Ulbrich, Mattias )
- Completed projects
  - Constraint-Based Operational Consistency of Evolving Software Systems (COCoS)
    (Applicants Hähnle, Reiner ; Steffen, Bernhard )

© 2024 DFG Disclaimer / Copyright / Privacy Policy