Effective Predicate Abstraction for Program Verification.

Li Li, Ming Gu, Xiaoyu Song, Jianmin Wang

Browse the full TASE paper archive.