@inproceedings{CAV-2009-KaivolaGNTWPSTFRN,
	author        = "Roope Kaivola and Rajnish Ghughal and Naren Narasimhan and Amber Telfer and Jesse Whittemore and Sudhindra Pandav and Anna Slobodová and Christopher Taylor and Vladimir Frolov and Erik Reeber and Armaghan Naik",
	booktitle     = "{Proceedings of the 21st International Conference on Computer Aided Verification}",
	doi           = "10.1007/978-3-642-02658-4_32",
	isbn          = "978-3-642-02657-7",
	pages         = "414--429",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation}",
	volume        = 5643,
	year          = 2009,
}