Project Details
Person
Professor Dr. Reiner Hähnle
Address
Technische Universität Darmstadt
Fachbereich Informatik
Fachgebiet Software Engineering
Hochschulstraße 10
64289 Darmstadt
-
As Applicant
-
Current projects
-
KeY - A Deductive Software Analysis Tool for the Research Community (Research Grants)
-
-
Completed projects
-
Hybrid static/dynamic inter-application data-flow analysis (Priority Programmes)
-
-
Current projects
-
As Participating Person
-
Completed projects
-
Fully Automatic Logic-Based Information Flow Analysis (Priority Programmes)
-
-
Completed projects
-
As Host
-
Completed projects
-
Feature-orientierte Verifikation von Softwareproduktlinien (Research Fellowships)
-
-
Completed projects
