Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sudhindra Pandav, Konrad Slind, Ganesh Gopalakrishnan. Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification. In Dominique Borrione, Wolfgang J. Paul, editors, Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings. Volume 3725 of Lecture Notes in Computer Science, pages 317-331, Springer, 2005. [doi]

This author has not been identified. Look up 'Sudhindra Pandav' in GoogleThis author has not been identified. Look up 'Konrad Slind' in GoogleThis author has not been identified. Look up 'Ganesh Gopalakrishnan' in Google

runs on WebDSL