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
International Conference on Verification, Model Checking, and Abstract …, 2020
32020
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