Read Static Analysis of Software: The Abstract Interpretation

Static Analysis of Software: The Abstract Interpretation

Jean-Louis Boulanger

4.9/5 (33255 ratings)

Description: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 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).ContentsIntroduction1. Formal techniques for verification and validation (Jean-Louis Boulanger)2. Airbus: Formal verification in avionics (Jean Sourys, David Delmas, Stéphane Duprat)3. Polyspace (Patrick Munier)4. Software robustness with regards to dysfunctional values from static analysis (Christèle Fauré, Jean-Louis Boulanger, Samy Aït Kaci)5. CodePeer – Beyond bug-finding with static analysis (Steve Baird, Arnaud Charlet, Yannick Moy, Tucker Taft)6. Formal methods and compliance to the DO-178C/ED-12C Standard in Aeronautics (Emmanuel Ledinot, Dillon Pariente)7. Efficient method developed by Thales for safety evaluation of real-to-integer discretization and overflows in SIL4 (Anthony Baëotto, Fateh KaakaË, Rafael Marcano, Daniel Drago)8. Conclusion and viewpoints (Jean-Louis Boulanger)We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Static Analysis of Software: The Abstract Interpretation. To get started finding Static Analysis of Software: The Abstract Interpretation, you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Pages: —

Format: PDF, EPUB & Kindle Edition

Publisher: —

Release: —

ISBN: 1848213204

Description: 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 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).ContentsIntroduction1. Formal techniques for verification and validation (Jean-Louis Boulanger)2. Airbus: Formal verification in avionics (Jean Sourys, David Delmas, Stéphane Duprat)3. Polyspace (Patrick Munier)4. Software robustness with regards to dysfunctional values from static analysis (Christèle Fauré, Jean-Louis Boulanger, Samy Aït Kaci)5. CodePeer – Beyond bug-finding with static analysis (Steve Baird, Arnaud Charlet, Yannick Moy, Tucker Taft)6. Formal methods and compliance to the DO-178C/ED-12C Standard in Aeronautics (Emmanuel Ledinot, Dillon Pariente)7. Efficient method developed by Thales for safety evaluation of real-to-integer discretization and overflows in SIL4 (Anthony Baëotto, Fateh KaakaË, Rafael Marcano, Daniel Drago)8. Conclusion and viewpoints (Jean-Louis Boulanger)We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Static Analysis of Software: The Abstract Interpretation. To get started finding Static Analysis of Software: The Abstract Interpretation, you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Special Offer | $0.00

Special Offer! | $0.00

Static Analysis of Software: The Abstract Interpretation

Static Analysis of Software: The Abstract Interpretation

More Books

Techniques industrielles de modélisation formelle pour le transport

Techniques industrielles de modélisation formelle pour le transport

CENELEC 50128 and IEC 62279 Standards (Iste)

CENELEC 50128 and IEC 62279 Standards (Iste)

Securization Techniques of Software-Based Equipment

Securization Techniques of Software-Based Equipment

[(CENELEC 50128 and IEC 62279 Standards)] [By (author) Jean-Louis Boulanger] published on (May, 2015)

[(CENELEC 50128 and IEC 62279 Standards)] [By (author) Jean-Louis Boulanger] published on (May, 2015)

[(Formal Methods Applied to Industrial Complex Systems)] [Edited by Jean-Louis Boulanger] published on (October, 2014)

[(Formal Methods Applied to Industrial Complex Systems)] [Edited by Jean-Louis Boulanger] published on (October, 2014)

Certifiable Software Applications 1: Main Processes [7/18/2016] Jean-Louis Boulanger

Certifiable Software Applications 1: Main Processes [7/18/2016] Jean-Louis Boulanger

Formal Methods: Industrial Use from Model to the Code

Formal Methods: Industrial Use from Model to the Code

Safety of Computer Architectures

Safety of Computer Architectures