Project Details
Person
Professor Dr.-Ing. Christoph Scholl
Address
Albert-Ludwigs-Universität Freiburg
Technische Fakultät
Institut für Informatik
Georges-Köhler-Allee 106
79110 Freiburg
-
As Applicant
-
Current projects
-
SUPRA: Satisfiability UPon GeneRAlization beyond SAT (Research Grants)
-
-
Completed projects
-
Solving Dependency Quantified Boolean Formulas (Research Grants)
-
VerA: Fully Automatic Formal Verification of Arithmetic Circuits (Research Grants)
-
-
Current projects
-
As Participating Researcher
-
Completed projects
-
GRK 1103: Embedded Microsystems (Research Training Groups)
-
-
Completed projects
-
As Project Head
-
Completed projects
-
Automated Verification of Cooperating Traffic Agents (CRC/Transregios)
-
Compositional Approaches to System Verification (CRC/Transregios)
-
-
Completed projects
- As Participating Person
