Show simple item record

dc.contributor.authorGladisch, Christoph David*
dc.date.accessioned2021-02-12T07:32:20Z
dc.date.available2021-02-12T07:32:20Z
dc.date.issued2011*
dc.date.submitted2019-07-30 20:02:02*
dc.identifier35655*
dc.identifier.urihttps://directory.doabooks.org/handle/20.500.12854/61958
dc.description.abstractSoftware 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.*
dc.languageEnglish*
dc.subjectQA75.5-76.95*
dc.subject.otherFault Detection*
dc.subject.otherModel Generation*
dc.subject.otherTheorem Proving*
dc.subject.otherTest Generation*
dc.subject.otherDynamic Logic*
dc.titleVerification-based software-fault detection*
dc.typebook
oapen.identifier.doi10.5445/KSP/1000023002*
oapen.relation.isPublishedBy68fffc18-8f7b-44fa-ac7e-0b7d7d979bd2*
oapen.relation.isbn9783866446762*
oapen.pagesXVII, 264 p.*


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

https://creativecommons.org/licenses/by-nc-nd/4.0/
Except where otherwise noted, this item's license is described as https://creativecommons.org/licenses/by-nc-nd/4.0/