Reducing Manual Abstraction in Formal Verification of Out-of-Order Execution - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Robert B. Jones, Jens U. Skakkebæk, David L. Dill. Reducing Manual Abstraction in Formal Verification of Out-of-Order Execution. In Ganesh Gopalakrishnan, Phillip J. Windley, editors, Formal Methods in Computer-Aided Design, Second International Conference, FMCAD 98, Palo Alto, California, USA, November 4-6, 1998, Proceedings. Volume 1522 of Lecture Notes in Computer Science, pages 2-17, Springer, 1998. [doi]

This author has not been identified. Look up 'Robert B. Jones' in GoogleThis author has not been identified. Look up 'Jens U. Skakkebæk' in GoogleThis author has not been identified. Look up 'David L. Dill' in Google

runs on WebDSL