Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding.

Xiaoyu Zhang, Shengping Xiao, Jianwen Li, Geguang Pu, Ofer Strichman

Browse the full ICCAD paper archive.