Articles liés à Static Analysis and Verification of Aerospace Software...
Static Analysis and Verification of Aerospace Software by Abstract Interpretation - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- Éditeurnow publishers Inc
- Date d'édition2015
- ISBN 10 1601988567
- ISBN 13 9781601988560
- ReliureBroché
- Langueanglais
- Nombre de pages140
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 86,29
EUR 4,66 expédition depuis Royaume-Uni vers France
Destinations, frais et délaisRésultats de recherche pour Static Analysis and Verification of Aerospace Software...
Image d'archives
Static Analysis and Verification of Aerospace Software by Abstract Interpretation (Foundations and Trends(r) in Programming Languages)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9781601988560_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9781601988560
Quantité disponible : 10 disponible(s)
Image d'archives
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
impression à la demandeVendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
PAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur IQ-9781601988560
Quantité disponible : 15 disponible(s)
Image d'archives
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
impression à la demandeVendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9781601988560
Quantité disponible : Plus de 20 disponibles
Image d'archives
Static Analysis and Verification of Aerospace Software by Abstract Interpretation (Foundations and Trends(r) in Programming Languages)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9781601988560
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 25228797-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 25228797-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
Edité par
Now Publishers, 2015
ISBN 10 : 1601988567
ISBN 13 : 9781601988560
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 25228797
Quantité disponible : Plus de 20 disponibles
Image d'archives
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
Edité par
now publishers Inc, 2015
ISBN 10 : 1601988567
ISBN 13 : 9781601988560
Neuf
Paperback / softback
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 239. N° de réf. du vendeur C9781601988560
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
Edité par
Now Publishers, 2015
ISBN 10 : 1601988567
ISBN 13 : 9781601988560
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 25228797
Quantité disponible : Plus de 20 disponibles