Effective heuristics for counterexample-guided abstraction refinement - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun. Effective heuristics for counterexample-guided abstraction refinement. In Hai Zhou, Enrico Macii, Zhiyuan Yan, Yehia Massoud, editors, Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, Stresa, Lago Maggiore, Italy, March 11-13, 2007. pages 393-398, ACM, 2007. [doi]

This author has not been identified. Look up 'Fei He' in GoogleThis author has not been identified. Look up 'Xiaoyu Song' in GoogleThis author has not been identified. Look up 'Ming Gu' in GoogleThis author has not been identified. Look up 'Jiaguang Sun' in Google

runs on WebDSL