An Extention of Lazy Abstraction and Refinement for Program Verification.

Haowei Liang, Chunyan Hou, Jinsong Wang, Chen Chen

Browse the full COMPSAC paper archive.