×
![]( "Buchcover ISBN 9781118602843")
The existing literature currently available to students andresearchers is very general, covering only the formal techniques ofstatic analysis.
This book presents real examples of the formal techniques called„abstract interpretation“ currently being used in variousindustrial 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 areintrinsically involved in the realization and evaluation ofsoftware-based safety critical systems. As the authors are peoplecurrently working within the industry, the usual problems ofconfidentiality, which can occur with other books, is not an issueand so makes it possible to supply new useful information (photos, architectural plans, real examples).
This book presents real examples of the formal techniques called„abstract interpretation“ currently being used in variousindustrial 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 areintrinsically involved in the realization and evaluation ofsoftware-based safety critical systems. As the authors are peoplecurrently working within the industry, the usual problems ofconfidentiality, which can occur with other books, is not an issueand so makes it possible to supply new useful information (photos, architectural plans, real examples).
