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 A. Frolov, Erik Reeber, Armaghan Naik

Browse the full CAV paper archive.