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]

@inproceedings{KaivolaGNTWPSTFRN09,
  title = {Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation},
  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},
  year = {2009},
  doi = {10.1007/978-3-642-02658-4_32},
  url = {http://dx.doi.org/10.1007/978-3-642-02658-4_32},
  tags = {testing},
  researchr = {https://researchr.org/publication/KaivolaGNTWPSTFRN09},
  cites = {0},
  citedby = {0},
  pages = {414-429},
  booktitle = {Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
  editor = {Ahmed Bouajjani and Oded Maler},
  volume = {5643},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02657-7},
}