A dynamic constraint-based BMC strategy for generating counterexamples - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hélène Collavizza, Nguyen Le Vinh, Michel Rueher, Samuel Devulder, Thierry Gueguen. A dynamic constraint-based BMC strategy for generating counterexamples. In William C. Chu, W. Eric Wong, Mathew J. Palakal, Chih-Cheng Hung, editors, Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011. pages 1633-1638, ACM, 2011. [doi]

This author has not been identified. Look up 'Hélène Collavizza' in GoogleThis author has not been identified. Look up 'Nguyen Le Vinh' in GoogleThis author has not been identified. Look up 'Michel Rueher' in GoogleThis author has not been identified. Look up 'Samuel Devulder' in GoogleThis author has not been identified. Look up 'Thierry Gueguen' in Google

runs on WebDSL