Login
- Dokumenttyp:
- Masterarbeit
- Autor(en):
- Bernhard Pöttinger
- Titel:
- Verification of the Flow Framework from “Local Reasoning for Global Graph Properties”
- Übersetzter Titel:
- Verifikation des Flow-Frameworks aus “Local Reasoning for Global Graph Properties”
- Abstract:
- The Flow Framework from "Local Reasoning for Global Graph Properties" [Siddharth Krishna, ESOP 2020] introduces a separation algebra that allows handling potentially unbounded side-effects of modifications to global graph properties in a modular fashion. In this thesis we formalize the Flow Framework as presented in “Local Reasoning for Global Graph Properties”. Subsequently, we demonstrate the application of the Flow Framework by verifying a graph algorithm. Finally, we present a significantly... »
- übersetzter Abstract:
- Das Flow-Framework aus "Local Reasoning for Global Graph Properties" [Siddharth Krishna, ESOP 2020] stellt eine Separation-Logic vor, die den modularen Umgang mit potenziell unbeschränkten Seiteneffekten von Modifikationen globaler Grapheigenschaften ermöglicht. In dieser Arbeit wird zunächst das Flow-Framework formalisiert. Anschließend wird die Anwendung des Flow-Framework durch beispielhafte Anwendung auf einen Graphalgorithmus demonstriert. Abschließend wird ein signifikant verfeinerter Bewe... »
- Fachgebiet:
- DAT Datenverarbeitung, Informatik
- DDC:
- 000 Informatik, Wissen, Systeme
- Betreuer:
- Haslbeck, Maximilian P. L.; Krishna, Siddharth (Ph.D.)
- Gutachter:
- Nipkow, Tobias (Prof., Ph.D.)
- Jahr:
- 2020
- Sprache:
- en
- Sprache der Übersetzung:
- de
- Hochschule / Universität:
- Technische Universität München
- Fakultät:
- Fakultät für Informatik
BibTeX