Xiaoyu Zhang, Shengping Xiao, Jianwen Li, Geguang Pu, Ofer Strichman. Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding. In Tulika Mitra, Evangeline Young, Jinjun Xiong, editors, Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2022, San Diego, California, USA, 30 October 2022 - 3 November 2022. pages 126, ACM, 2022. [doi]
Abstract is missing.