{"product_id":"9783540415237","title":"Systems and Software Verification","description":"Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.","brand":"B. Berard","offers":[{"title":"Default Title","offer_id":47641731891518,"sku":"9783540415237","price":4369.59,"currency_code":"ZAR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4357\/7662\/products\/9783540415237.jpg?v=1707721809","url":"https:\/\/exclusivebooks.co.za\/products\/9783540415237","provider":"Exclusive Books Online","version":"1.0","type":"link"}