Linear Completeness Thresholds for Bounded Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Daniel Kroening, Joël Ouaknine, Ofer Strichman, Thomas Wahl, James Worrell. Linear Completeness Thresholds for Bounded Model Checking. In Ganesh Gopalakrishnan, Shaz Qadeer, editors, Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings. Volume 6806 of Lecture Notes in Computer Science, pages 557-572, Springer, 2011. [doi]

This author has not been identified. Look up 'Daniel Kroening' in GoogleThis author has not been identified. Look up 'Joël Ouaknine' in GoogleThis author has not been identified. Look up 'Ofer Strichman' in GoogleThis author has not been identified. Look up 'Thomas Wahl' in GoogleThis author has not been identified. Look up 'James Worrell' in Google

runs on WebDSL