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]
@inproceedings{ZhangXLPS22,
title = {Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding},
author = {Xiaoyu Zhang and Shengping Xiao and Jianwen Li and Geguang Pu and Ofer Strichman},
year = {2022},
doi = {10.1145/3508352.3549393},
url = {https://doi.org/10.1145/3508352.3549393},
researchr = {https://researchr.org/publication/ZhangXLPS22},
cites = {0},
citedby = {0},
pages = {126},
booktitle = {Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2022, San Diego, California, USA, 30 October 2022 - 3 November 2022},
editor = {Tulika Mitra and Evangeline Young and Jinjun Xiong},
publisher = {ACM},
isbn = {978-1-4503-9217-4},
}