Follow
Marc Chevalier
Marc Chevalier
École Normale Supérieure, INRIA, PSL University, Paris, France
Verified email at ens.psl.eu
Title
Cited by
Cited by
Year
Sharing ghost variables in a collection of abstract domains
M Chevalier, J Feret
Verification, Model Checking, and Abstract Interpretation: 21st …, 2020
82020
Analyse de la sécurité de systèmes critiques embarqués à forte composante logicielle par interprétation abstraite
M Chevalier
ENS Paris, 2020
2020
Sémantique des blocs inline assembleurs x86 dans du code C
J Boillot, M Chevalier, J Feret
2019
The system can't perform the operation now. Try again later.
Articles 1–3