Radhia Cousot

• Static Analysis
• Static Analysis
• Verification, Model Checking, and Abstract Interpretation
• Static Analysis and Verification of Aerospace Software by Abstract Interpretation