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

Published in: CAV (2009)

Keyphrases