Xiaoyu Zhang, Shengping Xiao, Yechuan Xia, Jianwen Li, Mingsong Chen, Geguang Pu. Accelerate Safety Model Checking Based on Complementary Approximate Reachability. IEEE Trans. on CAD of Integrated Circuits and Systems, 42(9):3105-3117, September 2023. [doi]
Abstract is missing.