Compartir
Static Analysis and Verification of Aerospace Software by Abstract Interpretation (en Inglés)
Julien Bertrane
(Autor)
·
Patrick Patrick
(Autor)
·
Radhia Radhia
(Autor)
·
Now Publishers
· Tapa Blanda
Static Analysis and Verification of Aerospace Software by Abstract Interpretation (en Inglés) - Bertrane, Julien ; Patrick, Patrick ; Radhia, Radhia
$ 106.343
$ 177.238
Ahorras: $ 70.895
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis Listas
Origen: Estados Unidos
(Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el
Lunes 19 de Agosto y el
Lunes 02 de Septiembre.
Lo recibirás en cualquier lugar de Argentina entre 1 y 3 días hábiles luego del envío.
Reseña del libro "Static Analysis and Verification of Aerospace Software by Abstract Interpretation (en Inglés)"
It is well documented that fully automatic rigorous verification of complex software is very challenging and perfection is impossible. 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, and reports on the automatic verification of the absence of runtime errors in large embedded aerospace software by static analysis based on abstract interpretation. The first industrial applications concerned synchronous control/command software in open loop. Recent advances consider imperfectly synchronous programs, parallel programs, and target code validation as well. Future research directions on abstract interpretation are also discussed in the context of aerospace software.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
La encuadernación de esta edición es Tapa Blanda.
✓ Producto agregado correctamente al carro, Ir a Pagar.