The goal of this thesis is to contribute to the field of formal methods employed for the static verifi cation of computer program properties. The context is the Abstract Interpretation framework, one of the various possible ...