Cargando…
Static analysis of software : the abstract interpretation /
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
London, UK ; Hoboken, NJ :
ISTE/Wiley,
2012.
|
| Colección: | ISTE.
|
| Temas: | |
| Acceso en línea: | Texto completo |
| Sumario: | 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 curr. |
|---|---|
| Descripción Física: | 1 online resource |
| Bibliografía: | Includes bibliographical references and index. |
| ISBN: | 9781118602867 1118602862 9781118602959 1118602951 9781118602843 1118602846 |