Static Analysis of Software: The Abstract Interpretation

Static Analysis of Software: The Abstract Interpretation

the present literature at the moment to be had to scholars and researchers is especially basic, masking merely the formal strategies of static research.

This ebook provides genuine examples of the formal recommendations known as "abstract interpretation" at present getting used in a number of commercial fields: railway, aeronautics, area, automobile, etc.

The goal of this publication is to give scholars and researchers, in one booklet, with the wealth of expertise of people that are intrinsically concerned with the conclusion and overview of software-based security serious structures. because the authors are humans at the moment operating in the undefined, the standard difficulties of confidentiality, that could take place with different books, isn't really a subject matter and so makes it attainable to provide new valuable info (photos, architectural plans, genuine examples).

Show sample text content

Download sample