Abstract:
This thesis presents data structures for symbolic domains, such as the set of
graphs domain. Implementation issues are discussed, in particular in the context of the Astrée analyzer when relevent.
\bibitem{mauborgne07}
{\sc Mauborgne, L.}
\newblock Analyse statique et domaines abstraits symboliques.
\newblock Mémoire d'habilitation à diriger des recherches de l'université Paris IX, 2007.
@phdthesis{mauborgne07,
author = "Laurent Mauborgne",
title = "Analyse statique et domaines abstraits symboliques",
school = "Université Paris-Dauphine",
year = 2007,
address = "Paris, France",
type = "M{\'e}moire d'habilitation {\`a} diriger des recherches",
}