Join thousands of book lovers
Sign up to our newsletter and receive discounts and inspiration for your next reading experience.
By signing up, you agree to our Privacy Policy.You can, at any time, unsubscribe from our newsletters.
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
- Binding:
- Paperback
- Pages:
- 140
- Published:
- December 14, 2015
- Dimensions:
- 156x234x8 mm.
- Weight:
- 208 g.
Delivery:
1-2 weeks
Expected delivery: November 30, 2024
Description of Static Analysis and Verification of Aerospace Software by Abstract Interpretation
It is well documented that fully automatic rigorous verification of complex software is very challenging and perfection is impossible. This book presents abstract interpretation and shows how its principles can be successfully applied to cope with the difficulties inherent to formal verification.
User ratings of Static Analysis and Verification of Aerospace Software by Abstract Interpretation
Rate this book
In order to rate this book you must be logged in.Others also bought..
Find similar books
The book Static Analysis and Verification of Aerospace Software by Abstract Interpretation can be found in the following categories:
You can, at any time, unsubscribe from our newsletters.
© 2024 Tales
All packages are shipped from our warehouse in the UK.
Company address: Esromgade 15, 3. - 2200 - DK
Registered company number: DK43351621
