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]
No references recorded for this publication.
No citations of this publication recorded.