Login
- Document type:
- Masterarbeit
- Author(s):
- Bernhard Pöttinger
- Title:
- Verification of the Flow Framework from “Local Reasoning for Global Graph Properties”
- Translated title:
- 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... »
- Translated 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... »
- Subject:
- DAT Datenverarbeitung, Informatik
- DDC:
- 000 Informatik, Wissen, Systeme
- Advisor:
- Haslbeck, Maximilian P. L.; Krishna, Siddharth (Ph.D.)
- Referee:
- Nipkow, Tobias (Prof., Ph.D.)
- Year:
- 2020
- Language:
- en
- Language from translation:
- de
- University:
- Technische Universität München
- Faculty:
- Fakultät für Informatik
BibTeX