A

abstract interpretation

Software project for the Software verification course (UNIPD). It implements an abstract interpreter for a (toy) imperative language