Verifying Heap-Manipulating Programs in an SMT Framework.

Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti

Browse the full ATVA paper archive.