{"product_id":"verification-based-software-fault-detection-von-christoph-david-gladisch","title":"Verification-based software-fault detection","description":"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.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783866446762\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783866446762","offer_id":39457342652509,"sku":"9783866446762","price":40.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/abbb450b-ff4d-4a6f-841c-2f5c88e8b41e.jpg?v=1781674523","url":"https:\/\/shop.autorenwelt.de\/en\/products\/verification-based-software-fault-detection-von-christoph-david-gladisch","provider":"Autorenwelt Shop","version":"1.0","type":"link"}