Verification-based software-fault detection

Doktorarbeit

Autor(en):Christoph David Gladisch
Hochschule:Karlsruhe Institute of Technology
Verleger:KIT Scientific Publishing, Karlsruhe
Jahr:2011
DOI:10.5445/KSP/1000023002

Abstract

Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this work new techniques for the detection of software faults (or software "bugs") are described which are based on a formal deductive verification technology. The described techniques take advantage of information obtained during verification and combine verification technology with deductive fault detection and test generation in a very unified way.

BibTeX

@phdthesis{Gladisch2011,
  author    = {Christoph David Gladisch},
  year      = {2011},
  month     = may,
  title     = {Verification-based software-fault detection},
  school    = {Karlsruhe Institute of Technology},
  doi       = {10.5445/KSP/1000023002},
  publisher = {{KIT Scientific Publishing, Karlsruhe}},
  isbn      = {978-3-86644-676-2},
  abstract  = {Software is used in many safety- and security-critical systems.
               Software development is, however, an error-prone task. In this
               work new techniques for the detection of software faults (or
               software "bugs") are described which are based on a formal
               deductive verification technology. The described techniques take
               advantage of information obtained during verification and
               combine verification technology with deductive fault detection
               and test generation in a very unified way.}
}