Title: Static Analysis and Verification of Aerospace Software by Abstract Interpretation
Subjects: Aerospace industries, Computer programs, Statics