The Localization Reduction and Counterexample-Guided Abstraction Refinement - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Edmund M. Clarke, Robert P. Kurshan, Helmut Veith. The Localization Reduction and Counterexample-Guided Abstraction Refinement. In Zohar Manna, Doron Peled, editors, Time for Verification, Essays in Memory of Amir Pnueli. Volume 6200 of Lecture Notes in Computer Science, pages 61-71, Springer, 2010. [doi]

This author has not been identified. Look up 'Edmund M. Clarke' in GoogleThis author has not been identified. Look up 'Robert P. Kurshan' in GoogleThis author has not been identified. Look up 'Helmut Veith' in Google

runs on WebDSL