Verification-based Software-fault Detection
| Autor: | Gladisch, Christoph David |
|---|---|
| Přispěvatelé: | Beckert, B. |
| Jazyk: | angličtina |
| Rok vydání: | 2011 |
| Předmět: | |
| DOI: | 10.5445/ir/1000023056 |
| Popis: | Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this dissertation 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|