Synopsis
The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis.
This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc.
The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems. As the authors are people currently working within the industry, the usual problems of confidentiality, which can occur with other books, is not an issue and so makes it possible to supply new useful information (photos, architectural plans, real examples).
"synopsis" may belong to another edition of this title.
About the Author
Jean-Louis Boulanger 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.
"About this title" may belong to another edition of this title.
Search results for Static Analysis of Software: The Abstract Interpretation
Seller Image
Static Analysis of Software: The Abstract Interpretation
Seller: Salish Sea Books, Bellingham, WA, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Very Good; Hardcover; Light wear to the covers; Unblemished textblock edges; Two blank labels to the front endpapers; Text pages are clean and unmarked; The binding is excellent with a straight spine; This book will be shipped in a sturdy cardboard box with foam padding; Medium Format (8.5" - 9.75" tall); Red and blue covers with title in white lettering; 2011, Wiley-ISTE Publishing; 331 pages; "Static Analysis of Software: The Abstract Interpretation," by Jean-Louis Boulanger. Seller Inventory # SKU-W36HA00511040
Stock Image
Static Analysis of Software: The Abstract Interpretation
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_383104429
Seller Image
Static Analysis of Software : The Abstract Interpretation
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 14140706-n
Stock Image
Static Analysis of Software: The Abstract Interpretation Format: Hardcover
Seller: INDOO, Avenel, NJ, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 9781848213203
Seller Image
Static Analysis of Software : The Abstract Interpretation
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 14140706
Stock Image
Static Analysis of Software (Hardcover)
Published by
ISTE Ltd and John Wiley & Sons Inc, London, 2011
ISBN 10: 1848213204
ISBN 13: 9781848213203
New
Hardcover
First Edition
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems. As the authors are people currently working within the industry, the usual problems of confidentiality, which can occur with other books, is not an issue and so makes it possible to supply new useful information (photos, architectural plans, real examples). The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9781848213203
Seller Image
Static Analysis of Software : The Abstract Interpretation
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 14140706
Buy Used
US$ 205.20
US$ 20.45 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Static Analysis of Software: The Abstract Interpretation
Seller: Ubiquity Trade, Miami, FL, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Brand new! Please provide a physical shipping address. Seller Inventory # 9781848213203
Seller Image
Static Analysis of Software : The Abstract Interpretation
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 14140706-n
Buy New
US$ 240.82
US$ 20.45 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Static Analysis of Software
Published by
ISTE Ltd and John Wiley & Sons Inc, 2011
ISBN 10: 1848213204
ISBN 13: 9781848213203
New
Hardcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. Editor(s): Boulanger, Jean-Louis. Num Pages: 346 pages, Illustrations. BIC Classification: UMZ. Category: (G) General (US: Trade). Dimension: 241 x 154 x 24. Weight in Grams: 654. . 2011. . . . . Seller Inventory # V9781848213203
Buy New
US$ 250.18
US$ 12.41 shipping
Ships from Ireland to U.S.A.
Ships from Ireland to U.S.A.
Quantity: 15 available