Dr. Marc Chevalier
Dr. Marc Chevalier
Home
Projects
Talks
Publications
Teaching
Software
Student
Contact
English
English
Français
Publications
Type
Conference paper
Thesis
Date
2020
Marc Chevalier
(2020).
Proving the Security of Software-Intensive Embedded Systems by Abstract Interpretation
.
PDF
Project
Slides
Marc Chevalier
,
Jérôme Feret
(2020).
Sharing Ghost Variables in a Collection of Abstract Domains
.
Verification, Model Checking, and Abstract Interpretation
.
PDF
Cite
Project
Slides
DOI
Springer
Cite
×