Abschlussarbeiten

Aufgrund des Wechsels von Prof. Dr. Marie-Christine Jakobs an eine andere Universität bieten wir keine Abschlussarbeiten mehr an.

Abschlussarbeiten in Bearbeitung

Wiederverwendung von Prädikatpräzision in k-Induktion

Bachelorarbeit

Forschungsbereich: inkrementelle Verifikation
Kontakt: Prof. Dr. Marie-Christine Jakobs

Zugriffsgeschützter Absatz: Melden Sie sich an, um diesen Absatz zu sehen.

Ranged Conditions

Masterarbeit

Forschungsbereich: Kombination von Verifikationsverfahren
Kontakt: Prof. Dr. Marie-Christine Jakobs

Zugriffsgeschützter Absatz: Melden Sie sich an, um diesen Absatz zu sehen.

Nutzung von Summaries zur Reverifikation mit Valueanalyse

Bachelorarbeit/Masterarbeit

Forschungsbereich: inkrementelle Verifikation
Kontakt: Prof. Dr. Marie-Christine Jakobs

Zugriffsgeschützter Absatz: Melden Sie sich an, um diesen Absatz zu sehen.