User: Guest  Login
Original title:
Constraint solving for verification 
Translated title:
Constraint basierte Verifikation 
Year:
2011 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Rybalchenko, Andrey (Prof. Dr.) 
Referee:
Rybalchenko, Andrey (Prof. Dr.); Majumdar, Rupak (Prof. Dr.) 
Language:
en 
Subject group:
DAT Datenverarbeitung, Informatik 
Keywords:
Software verification, Constraint solving, Simplex, Invariant Generation, Horn Clauses 
Abstract:
Software is widely used and hard to make reliable. Researchers have been exploring new ways to ensure software reliability including software verification, i.e., mathematical reasoning about software. The current technology for software verification is not sufficiently efficient to be used for industrial software. In the thesis, we present novel constraint based verification methods and algorithms for constraint solving that increase the efficiency of software verification. In the direction o...    »
 
Translated abstract:
Zuverlässigkeit von Software lässt sich nur sehr schwer erreichen, weswegen schon lange nach Möglichkeiten gesucht wird, die Zuverlässigkeit von Software zu überprüfen bzw. zu verifizieren. Die gegenwärtig zur Verfügung stehenden Techniken sind jedoch nicht effizient genug für den industriellen Einsatz. In der Arbeit werden neuartige Constraint basierte Verifikationsmethoden und Lösungsverfahren für Constraint-Probleme vorgestellt, welche eine effizientere Verifikation von Programmen erlauben....    »
 
Oral examination:
12.07.2011 
File size:
765549 bytes 
Pages:
98 
Last change:
20.10.2011