-
Strengthening the heart of an SMT-solver : Design and implementation of effic...
This thesis tackles the problem of automatically proving the validity of mathematical formulas generated by program verification tools. In particular, it focuses on... -
Coopération de procédures de décision : étude et implantation
Stage de DEA. || Le stage s'est fait en collaboration avec Silvio Ranise de l'équipe Cassis.. Rapport de stage. -
Unions of Non-Disjoint Theories and Combinations of Satisfiability Procedures
Article dans revue scientifique avec comité de lecture. internationale. -
Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a New...
To appear in post-event proceedings. Colloque avec actes et comité de lecture. internationale.
