Cargando…
Static analysis and verification of aerospace software by abstract interpretation
This monograph presents abstract interpretation and shows how its principles can be successfully applied to cope with the difficulties inherent to formal verification. It discusses the principles of static analysis by abstract interpretation.
| Autores principales: | , , , , , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Now Publishers
2015
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2762196 |
| _version_ | 1780970660935237632 |
|---|---|
| author | Julien Bertrane, Julien Patrick Cousot, Patrick Radhia Cousot, Radhia Jérôme Feret, Jérôme Laurent Mauborgne, Laurent Miné, Antoine Xavier Rival, Xavier |
| author_facet | Julien Bertrane, Julien Patrick Cousot, Patrick Radhia Cousot, Radhia Jérôme Feret, Jérôme Laurent Mauborgne, Laurent Miné, Antoine Xavier Rival, Xavier |
| author_sort | Julien Bertrane, Julien |
| collection | CERN |
| description | This monograph presents abstract interpretation and shows how its principles can be successfully applied to cope with the difficulties inherent to formal verification. It discusses the principles of static analysis by abstract interpretation. |
| id | cern-2762196 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2015 |
| publisher | Now Publishers |
| record_format | invenio |
| spelling | cern-27621962021-04-21T16:39:13Zhttp://cds.cern.ch/record/2762196engJulien Bertrane, JulienPatrick Cousot, PatrickRadhia Cousot, RadhiaJérôme Feret, JérômeLaurent Mauborgne, LaurentMiné, AntoineXavier Rival, XavierStatic analysis and verification of aerospace software by abstract interpretationXXThis monograph presents abstract interpretation and shows how its principles can be successfully applied to cope with the difficulties inherent to formal verification. It discusses the principles of static analysis by abstract interpretation.Now Publishersoai:cds.cern.ch:27621962015 |
| spellingShingle | XX Julien Bertrane, Julien Patrick Cousot, Patrick Radhia Cousot, Radhia Jérôme Feret, Jérôme Laurent Mauborgne, Laurent Miné, Antoine Xavier Rival, Xavier Static analysis and verification of aerospace software by abstract interpretation |
| title | Static analysis and verification of aerospace software by abstract interpretation |
| title_full | Static analysis and verification of aerospace software by abstract interpretation |
| title_fullStr | Static analysis and verification of aerospace software by abstract interpretation |
| title_full_unstemmed | Static analysis and verification of aerospace software by abstract interpretation |
| title_short | Static analysis and verification of aerospace software by abstract interpretation |
| title_sort | static analysis and verification of aerospace software by abstract interpretation |
| topic | XX |
| url | http://cds.cern.ch/record/2762196 |
| work_keys_str_mv | AT julienbertranejulien staticanalysisandverificationofaerospacesoftwarebyabstractinterpretation AT patrickcousotpatrick staticanalysisandverificationofaerospacesoftwarebyabstractinterpretation AT radhiacousotradhia staticanalysisandverificationofaerospacesoftwarebyabstractinterpretation AT jeromeferetjerome staticanalysisandverificationofaerospacesoftwarebyabstractinterpretation AT laurentmauborgnelaurent staticanalysisandverificationofaerospacesoftwarebyabstractinterpretation AT mineantoine staticanalysisandverificationofaerospacesoftwarebyabstractinterpretation AT xavierrivalxavier staticanalysisandverificationofaerospacesoftwarebyabstractinterpretation |