User: Guest  Login
Original title:
Graph-based Modelling, Analysis, and Verification 
Year:
2012 
Document type:
Habilitation 
Institution:
Fakultät für Informatik 
Language:
en 
Subject group:
DAT Datenverarbeitung, Informatik 
Abstract:
Graphen sind ein vielseitiges Werkzeug zur Modellierung von Systemzuständen. Ich konzentriere mich auf zwei Systemklassen, Netzwerktopologien und Programmheaps, in denen sowohl die Knotenanzahl als auch die Kanten zwischen Knoten dynamisch und unbeschränkt sind. Diese Arbeit behandelt die Modellierung, Analyse und Verifikation solcher Systeme. Anspruchsvolle Fallstudien wie Linux-Kernel-Datenstrukturen und automatische Verkehrkontrollsysteme werden bearbeitet, wobei Techniken aus der statischen...    »
 
Oral examination:
22.02.2012 
Last change:
09.03.2015