User: Guest  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