Marc Chevalier

Latest

• Proving the Security of Software-Intensive Embedded Systems by Abstract Interpretation
• Sharing Ghost Variables in a Collection of Abstract Domains