No Cover Image

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...

Full description

Saved in:
Main Author: Costantini, Giulia <1985>
Format: Doctoral Thesis
Language: Inglese
Published: Università Ca' Foscari Venezia 2014
Online Access: http://hdl.handle.net/10579/4636 Open access