Cardinalities in Software Verification

Freiherr von Gleissenthall, Klaus

Klaus Freiherr von Gleissenthall

Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link

Originaltitel:: Cardinalities in Software Verification
Übersetzter Titel:: Kardinalitäten in der Software Verifikation
Autor:: Freiherr von Gleissenthall, Klaus
Jahr:: 2016
Dokumenttyp:: Dissertation
Fakultät/School:: Fakultät für Informatik
Betreuer:: Rybalchenko, Andrey (Prof. Dr.)
Gutachter:: Rybalchenko, Andrey (Prof. Dr.); Podelski, Andreas (Prof. Dr.)
Sprache:: en
Fachgebiet:: DAT Datenverarbeitung, Informatik
TU-Systematik:: DAT 500d
Kurzfassung:: Many verification tasks require reasoning about cardinalities. Unfortunately, today's technology does not support the verification of programs that require such reasoning very well. In this thesis, we present two methods for this task. We have implemented both techniques and demonstrate their practicality on a set of benchmarks from various applications including distributed algorithms and bounding information leakage through side channels.
Übersetzte Kurzfassung:: Für viele Verifikationsaufgaben ist es unerlässlich die Anzahl der Elemente in einer Menge (das heißt deren Kardinalität) erfassen zu können. Leider wird diese Art der quantitativen Verifikation von derzeit existierenden Methoden nicht unterstützt. Aus diesem Grund entwickelt diese Dissertation zwei Methoden für diese Aufgabe. Wir haben beide Techniken implementiert und demonstrieren ihre Anwendbarkeit auf eine Reihe von Problemen.
WWW:: https://mediatum.ub.tum.de/?id=1293444
Eingereicht am:: 24.02.2016
Mündliche Prüfung:: 15.09.2016
Dateigröße:: 577524 bytes
Seiten:: 75
Urn (Zitierfähige URL):: https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20160915-1293444-1-7
Letzte Änderung:: 08.05.2017
BibTeX