Theses

Since Prof. Dr. Marie-Christine Jakobs left the TU Darmstadt in April, we no longer offer theses in this group.

Theses in Process

Utilizing Predicate Precision in k-Induction

Bachelor Thesis

Research Area: Incremental Verification
Contact: Prof. Dr. Marie-Christine Jakobs

Access restricted section: Log in to see this section.

Ranged Conditions

Access restricted section: Log in to see this section.

Summary Reuse for Value Analysis

Bachelor Thesis/Master Thesis

Research Area: Incremental Verification
Contact: Prof. Dr. Marie-Christine Jakobs

Access restricted section: Log in to see this section.