Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT.

Jiahong Jiang, Liqian Chen, Xueguang Wu, Ji Wang

Browse the full VMCAI paper archive.