External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding

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]

Authors

Xiaoyu Zhang

This author has not been identified. Look up 'Xiaoyu Zhang' in Google

Shengping Xiao

This author has not been identified. Look up 'Shengping Xiao' in Google

Jianwen Li

This author has not been identified. Look up 'Jianwen Li' in Google

Geguang Pu

This author has not been identified. Look up 'Geguang Pu' in Google

Ofer Strichman

This author has not been identified. Look up 'Ofer Strichman' in Google
runs on