Verification-based software-fault detection
| dc.contributor.author | Gladisch, Christoph David | * |
| dc.date.accessioned | 2021-02-12T07:32:20Z | |
| dc.date.available | 2021-02-12T07:32:20Z | |
| dc.date.issued | 2011 | * |
| dc.date.submitted | 2019-07-30 20:02:02 | * |
| dc.identifier | 35655 | * |
| dc.identifier.uri | https://directory.doabooks.org/handle/20.500.12854/61958 | |
| dc.description.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. | * |
| dc.language | English | * |
| dc.subject | QA75.5-76.95 | * |
| dc.subject.classification | bic Book Industry Communication::U Computing & information technology::UY Computer science | en_US |
| dc.subject.other | Fault Detection | * |
| dc.subject.other | Model Generation | * |
| dc.subject.other | Theorem Proving | * |
| dc.subject.other | Test Generation | * |
| dc.subject.other | Dynamic Logic | * |
| dc.title | Verification-based software-fault detection | * |
| dc.type | book | |
| oapen.identifier.doi | 10.5445/KSP/1000023002 | * |
| oapen.relation.isPublishedBy | 68fffc18-8f7b-44fa-ac7e-0b7d7d979bd2 | * |
| oapen.relation.isbn | 9783866446762 | * |
| oapen.pages | XVII, 264 p. | * |
| peerreview.review.type | Full text | |
| peerreview.anonymity | All identities known | |
| peerreview.reviewer.type | Internal editor | |
| peerreview.reviewer.type | External peer reviewer | |
| peerreview.review.stage | Pre-publication | |
| peerreview.open.review | No | |
| peerreview.publish.responsibility | Scientific or Editorial Board | |
| peerreview.id | 8ad5c235-9810-49eb-b358-27c8675324d9 | |
| peerreview.title | Dissertations (Dissertationen) |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
|
There are no files associated with this item. |
|||
This item appears in the following Collection(s)
Except where otherwise noted, this item's license is described
as
https://creativecommons.org/licenses/by-nc-nd/4.0/