Thèse : soutenance de David Buhler

"Structuring an abstract interpreter through value and state abstractions : EVA, an evolved value analysis for Frama-C" - thèse de doctorat de l'université de Rennes 1 en informatique