|
|
|
|
| LEADER |
01567nma a2200313 u 4500 |
| 001 |
EB001968040 |
| 003 |
EBX01000000000000001130942 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
210512 ||| eng |
| 020 |
|
|
|a 1000023002
|
| 020 |
|
|
|a 9783866446762
|
| 100 |
1 |
|
|a Gladisch, Christoph David
|
| 245 |
0 |
0 |
|a Verification-based software-fault detection
|h Elektronische Ressource
|
| 260 |
|
|
|b KIT Scientific Publishing
|c 2011
|
| 300 |
|
|
|a 1 electronic resource (XVII, 264 p. p.)
|
| 653 |
|
|
|a Theorem Proving
|
| 653 |
|
|
|a Dynamic Logic
|
| 653 |
|
|
|a Test Generation
|
| 653 |
|
|
|a Model Generation
|
| 653 |
|
|
|a Fault Detection
|
| 041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
| 989 |
|
|
|b DOAB
|a Directory of Open Access Books
|
| 500 |
|
|
|a Creative Commons (cc), https://creativecommons.org/licenses/by-nc-nd/4.0/
|
| 028 |
5 |
0 |
|a 10.5445/KSP/1000023002
|
| 856 |
4 |
2 |
|u https://directory.doabooks.org/handle/20.500.12854/61958
|z DOAB: description of the publication
|
| 856 |
4 |
0 |
|u https://www.ksp.kit.edu/9783866446762
|7 0
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 160
|
| 520 |
|
|
|a 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.
|