A

abstract_interpreter

Project information

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

software ver... ocaml abstract int...

Created on

February 14, 2024

All
Wiki
Team

Loading