Publications

Marc Chevalier (2020). Analyse de la sécurité de systèmes critiques embarqués à forte composante logicielle par interprétation abstraite.

PDF Projet Diapositives

Marc Chevalier, Jérôme Feret (2020). Sharing Ghost Variables in a Collection of Abstract Domains. Verification, Model Checking, and Abstract Interpretation.

PDF Projet Diapositives DOI Springer