Lexical and numerical domains for abstract interpretation
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 techniques to perform static analyses. In particular, we focus on the desig...
|Main Author:||Costantini, Giulia <1985>|
Università Ca' Foscari Venezia