Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Roope Kaivola, Rajnish Ghughal, Naren Narasimhan, Amber Telfer, Jesse Whittemore, Sudhindra Pandav, Anna Slobodová, Christopher Taylor, Vladimir Frolov, Erik Reeber, Armaghan Naik. Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation. In Ahmed Bouajjani, Oded Maler, editors, Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings. Volume 5643 of Lecture Notes in Computer Science, pages 414-429, Springer, 2009. [doi]

This author has not been identified. Look up 'Roope Kaivola' in GoogleThis author has not been identified. Look up 'Rajnish Ghughal' in GoogleThis author has not been identified. Look up 'Naren Narasimhan' in GoogleThis author has not been identified. Look up 'Amber Telfer' in GoogleThis author has not been identified. Look up 'Jesse Whittemore' in GoogleThis author has not been identified. Look up 'Sudhindra Pandav' in GoogleThis author has not been identified. Look up 'Anna Slobodová' in GoogleThis author has not been identified. Look up 'Christopher Taylor' in GoogleThis author has not been identified. Look up 'Vladimir Frolov' in GoogleThis author has not been identified. Look up 'Erik Reeber' in GoogleThis author has not been identified. Look up 'Armaghan Naik' in Google

runs on WebDSL