{"product_id":"9789811996009-challenges-of-software-verification","title":"Challenges of Software Verification","description":"\u003cmeta content=\"text\/html; charset=utf-8\" http-equiv=\"Content-Type\"\u003e\u003cp\u003e\u003cspan\u003eIndeed, several verification tools have been proposed by the research community and any software application, in order to guarantee that certain software requirements are met, needs to integrate a verification phase in its life cycle, independently of the context of application or software size.\u003cbr\u003e\u003cbr\u003e\u003c\/span\u003e\u003c\/p\u003e","brand":"Rarewaves","offers":[{"title":"Default Title","offer_id":53596852093302,"sku":"9789811996009","price":164.54,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0092\/7504\/8033\/files\/stand_31388997.jpg?v=1732132166","url":"https:\/\/www.rarewaves.com\/products\/9789811996009-challenges-of-software-verification","provider":"Rarewaves.com","version":"1.0","type":"link"}