| | |
Summary: C A R L
V O N
O S S I E T Z K Y
Fakult¨at II -- Informatik, Wirtschafts- und Rechtswissenschaften
Department f¨ur Informatik
Verifying Properties of Processes,
Data, and Time:
Linking Counterexamples to High-Level
Specifications
Diplomarbeit
vorgelegt von
Ulrich Hobelmann
Erstgutachter: Prof. Dr. Ernst-R¨udiger Olderog
Zweitgutachter: Dipl.-Inform. Johannes Faber
Oldenburg, April 16, 2007
I hereby certify that the work presented in this thesis is my own and that work per-
formed by others is appropriately cited.
Ich versichere hiermit, diese Arbeit selbst¨andig verfaßt, andere als die angegebenen
Quellen und Hilfsmittel nicht benutzt und mich auch sonst keiner unerlaubten Hilfsmittel
bedient zu haben.
|
