| Titel | Typ | Betreuer |
|---|---|---|
| Detecting Flaws in Verification Conditions Using Bounded Verification Techniques | Bachelor-/Master-/Studien-/Diplom-Arbeit | Prof. Peter H. Schmitt, |
| A First-Order Query Language for Aggregation (at Uni Oslo) | Prof. P. H. Schmitt |
|
| Entwicklung und Evalution im Bereich modellbasierten Testens | Hiwi-Stelle | |
| Logical Analysis of Hybrid Systems (at CMU) | Prof. P. H. Schmitt |
|
| Modellbasiertes Testen von Webservices mit Spec Explorer | Diplomarbeit | |
| Modellprüfung der parlamentarischen Verfahrensregel Robert's Rules of Order | Diplomarbeit | |
| Wohldefinierte Spezifikationen in KeY | Studienarbeit |
Zusätzlich zu den hier angegebenen Themenvorschlägen können nach Absprache weitere Themen gefunden werden.
Wenden Sie sich bei Interesse bitte einfach an einen der Mitarbeiter.
Auf der Seite des Lehrstuhls "Anwendungsorientierte Formale Verifikation" von Prof. Beckert finden Sie weitere Themen für studentische Arbeiten.
| Titel | Typ | Autor | Betreuer |
|---|---|---|---|
| Design and Implementation of a Verification Framework for Java Bytecode using Unstructured Dynamic Logic | Diplomarbeit | Timm Felden |
Prof. Dr. P. H. Schmitt |
| Titel | Typ | Autor | Betreuer |
|---|---|---|---|
| Introducing the Boogie methodology to USDL | Studienarbeit | Timm Felden |
| Titel | Typ | Autor | Betreuer |
|---|---|---|---|
| Funktionsabschlüsse in Dynamischer Logik | Studienarbeit | Gregor Bethlen |
|
| Eine Fallstudie zu modellbasiertem Testen von Webservices | Diplomarbeit | Alexander Pascanu |
|
| Specifying Selected Parts of the Java API Using Dynamic Frames | Studienarbeit | Daniel Peters |
| Titel | Typ | Autor | Betreuer |
|---|---|---|---|
| A Calculus for Data Abstraction | Diplomarbeit | Roman Krenický |
|
| Formal Semantics for the Java Modeling Language | Diplomarbeit | Daniel Bruns |
| Titel | Typ | Autor | Betreuer |
|---|---|---|---|
| Discharging Event-B Proof Obligations | Studienarbeit | Christopher Köker |
|
| Verification of Java Floating-Point Arithmetic | Diplomarbeit | Denis Lohner |
|
| Verification of Sun SPOT's Network Library | Diplomarbeit |
| Titel | Typ | Autor | Betreuer |
|---|---|---|---|
| Inferring Invariants by Static Analysis in KeY | Diplomarbeit | ||
| Model Checking of Randomized Leader Election Algorithms | Diplomarbeit | ||
| Software Verification for Java 5 | Diplomarbeit |
