Marc Chevalier

Récents

• Analyse de la sécurité de systèmes critiques embarqués à forte composante logicielle par interprétation abstraite
• Sharing Ghost Variables in a Collection of Abstract Domains