{"product_id":"9781848213630","title":"Industrial Use of Formal Methods Formal Verification","description":"\u003ch1\u003eIndustrial Use of Formal Methods\u003c\/h1\u003e\u003ch2\u003eFormal Verification\u003c\/h2\u003e\u003ch3\u003eJean-Louis Boulanger\u003c\/h3\u003e\u003cdiv\u003e\u003cb\u003eTechnology \u0026amp; Engineering \/ Industrial Engineering\u003c\/b\u003e\u003c\/div\u003e\u003cbr\u003e\u003cdiv\u003e\n\u003cp\u003eAt present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the “formal technics” (such proof and model-checking) on industrial examples for the transportation domain.\u003c\/p\u003e \u003cp\u003eThis book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based. \u003c\/p\u003e \u003cp\u003eThe implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow to supply new useful information (photos, plan of architecture, real example).\u003c\/p\u003e\n\u003c\/div\u003e\u003cdiv\u003e \u003cp\u003e\u003cb\u003eJean-Louis Boulanger\u003c\/b\u003e is currently an Independent Safety Assessor (ISA) in the railway domain focusing on software elements. He is a specialist in the software engineering domain (requirement engineering, semi-formal and formal method, proof and model-checking). He also works as an expert for the French notified body CERTIFER in the field of certification of safety critical railway applications based on software (ERTMS, SCADA, automatic subway, etc.). His research interests include requirements, software verification and validation, traceability and RAMS with a special focus on SAFETY.\u003c\/p\u003e\n\u003c\/div\u003e\u003cbr\u003e\u003ctable\u003e\n\u003ctr\u003e\n\u003ctd\u003ePublication Date: \u003c\/td\u003e\n\u003ctd\u003e25 July 2012\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003ePublisher: \u003c\/td\u003e\n\u003ctd\u003eWiley\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eImprint: \u003c\/td\u003e\n\u003ctd\u003eWiley-ISTE\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eISBN-13: \u003c\/td\u003e\n\u003ctd\u003e9781848213630\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eFormat: \u003c\/td\u003e\n\u003ctd\u003eHardback\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003ePage Count: \u003c\/td\u003e\n\u003ctd\u003e320\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eWeight (oz): \u003c\/td\u003e\n\u003ctd\u003e21.6\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003c\/table\u003e","brand":"Wiley","offers":[{"title":"Default Title","offer_id":44377652822156,"sku":"9781848213630","price":161.95,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9781848213630.jpg?v=1780146759","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9781848213630","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}