Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.