Abschlussarbeiten in der Arbeitsgruppe Semantik und Verifikation paralleler Systeme

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.