Static Analysis and Verification of Aerospace Software by Abstract Interpretation

By Patrick Patrick, Radhia Radhia, Julien Bertrane

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 1601988567
• ISBN13: 9781601988560
• Release Date: December 2015
• Publisher: Now Publishers
• Length: 140 Pages
• Weight: 0.45 lbs.
• Dimensions: 0.3" x 6.1" x 9.2"