Abschlussarbeiten
In der Regel bieten wir Abschlussarbeiten zu unseren aktuellen Forschungsthemen an. Bevor Sie nach einem konkreten Thema suchen, empfehlen wir Ihnen sich über unsere aktuelle Forschung zu informieren.
Im Folgenden geben wir einen kurzen Einblick in mögliche Abschlussarbeitsthemen in unserer Arbeitsgruppe. Falls Sie sich für ein Thema interessieren oder mehr über ein Thema erfahren möchten, kontaktieren Sie bitte den Verantwortlichen für das Thema. Gemeinsam mit Ihnen werden wir herausfinden, ob das Thema für Sie geeignet ist und gegebenenfalls Alternativen mit Ihnen erarbeiten.
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.
Inkrementelle k-Induktion
Bachelorarbeit/Masterarbeit
Forschungsbereich: inkrementelle Verifikation
Kontakt: Prof. Dr. Marie-Christine Jakobs
Zugriffsgeschützter Absatz: Melden Sie sich an, um diesen Absatz zu sehen.
Inkrementelle Verifikation mittels Witness
Bachelorarbeit/Masterarbeit
Forschungsbereich: inkrementelle Verifikation
Kontakt: Prof. Dr. Marie-Christine Jakobs
Zugriffsgeschützter Absatz: Melden Sie sich an, um diesen Absatz zu sehen.
Kein Thema für Sie dabei
Bitte kontaktieren Sie uns direkt, damit wir gemeinsam ein Thema für Sie finden oder entwickeln können.
In Bearbeitung
Austausch des Abstraktionslevel zwischen Prädikat- und Valueanalyse
Bachelorarbeit
Forschungsbereich: inkrementelle Verifikation
Kontakt: Prof. Dr. Marie-Christine Jakobs
Zugriffsgeschützter Absatz: Melden Sie sich an, um diesen Absatz zu sehen.
Condition Generierung für modulare Differenzverifikation
Bachelorarbeit/Masterarbeit
Forschungsbereich: inkrementelle Verifikation
Kontakt: Prof. Dr. Marie-Christine Jakobs
Zugriffsgeschützter Absatz: Melden Sie sich an, um diesen Absatz zu sehen.
Reduktion struktureller Testziele in CoVeriTest
Bachelorabeit/Masterarbeit
Forschungsbereich: Kombination von Verifikationsverfahren
Kontakt: Prof. Dr. Marie-Christine Jakobs
Zugriffsgeschützter Absatz: Melden Sie sich an, um diesen Absatz zu sehen.