Replacing testing with formal verification in Intel Core 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
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Proceedings of the 21st International Conference on Computer Aided Verification
CAV '09
Grenoble, France
Springer-Verlag
Berlin, Heidelberg
Pages 414-429
2009
Note(s): CPU verification