Benutzer: Gast  Login
Originaltitel:
Constraint solving for verification 
Übersetzter Titel:
Constraint basierte Verifikation 
Jahr:
2011 
Dokumenttyp:
Dissertation 
Institution:
Fakultät für Informatik 
Betreuer:
Rybalchenko, Andrey (Prof. Dr.) 
Gutachter:
Rybalchenko, Andrey (Prof. Dr.); Majumdar, Rupak (Prof. Dr.) 
Sprache:
en 
Fachgebiet:
DAT Datenverarbeitung, Informatik 
Stichworte:
Software verification, Constraint solving, Simplex, Invariant Generation, Horn Clauses 
Kurzfassung:
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...    »
 
Übersetzte Kurzfassung:
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....    »
 
Mündliche Prüfung:
12.07.2011 
Dateigröße:
765549 bytes 
Seiten:
98 
Letzte Änderung:
20.10.2011