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]
@article{ZhangXXLCP23,
title = {Accelerate Safety Model Checking Based on Complementary Approximate Reachability},
author = {Xiaoyu Zhang and Shengping Xiao and Yechuan Xia and Jianwen Li and Mingsong Chen and Geguang Pu},
year = {2023},
month = {September},
doi = {10.1109/TCAD.2023.3236272},
url = {https://doi.org/10.1109/TCAD.2023.3236272},
researchr = {https://researchr.org/publication/ZhangXXLCP23},
cites = {0},
citedby = {0},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {42},
number = {9},
pages = {3105-3117},
}