Abstraction for Shape Analysis with Fast and Precise Transformers.

Tal Lev-Ami, Neil Immerman, Shmuel Sagiv

Browse the full CAV paper archive.