Software Safety Verification Framework based on Predicate Abstraction.

Haowei Liang, Chunyan Hou, Jinsong Wang, Chen Chen

Browse the full COMPSAC paper archive.