LEADER 01532nam  2200361z- 450 
001 9910688568603321
005 20210212
010   $a1000023002
035   $a(CKB)4920000000101471
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/61958
035   $a(oapen)doab61958
035   $a(EXLCZ)994920000000101471
100   $a20202102d2011      |y         0
101 0 $aeng
135   $aurmn|---annan
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aVerification-based software-fault detection
210   $cKIT Scientific Publishing$d2011
215   $a1 online resource (XVII, 264 p. p.)
311 08$a3-86644-676-4 
330   $aSoftware 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.
610   $aDynamic Logic
610   $aFault Detection
610   $aModel Generation
610   $aTest Generation
610   $aTheorem Proving
700   $aGladisch$b Christoph David$4auth$01351836
906   $aBOOK
912   $a9910688568603321
996   $aVerification-based software-fault detection$93136462
997   $aUNINA