@article{pratt1995fdiv,
  title={Anatomy of the Pentium bug},
  author={Pratt, Vaughan},
  journal={TAPSOFT'95: Theory and Practice of Software Development},
  pages={97--107},
  year={1995},
  publisher={Springer}
}

@online{nicely_fdiv,
    author = {Thomas Nicely},
    title={Pentium FDIV flaw FAQ},
    year = {2011},
    url = {http://www.trnicely.net/pentbug/pentbug.html},
    urldate = {2017-08-10}
}

@inproceedings{harrison2003formal,
  title={Formal verification at intel},
  author={Harrison, John},
  booktitle={Logic in Computer Science, 2003. Proceedings. 18th Annual IEEE Symposium on},
  pages={45--54},
  year={2003},
  organization={IEEE}
}

@inproceedings{babai2016graph,
  title={Graph isomorphism in quasipolynomial time},
  author={Babai, L{\'a}szl{\'o}},
  booktitle={Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing},
  pages={684--697},
  year={2016},
  organization={ACM}
}

@inproceedings{cook1971complexity,
  title={The complexity of theorem-proving procedures},
  author={Cook, Stephen A},
  booktitle={Proceedings of the third annual ACM symposium on Theory of computing},
  pages={151--158},
  year={1971},
  organization={ACM}
}

@article{seger2005industrially,
  title={An industrially effective environment for formal hardware verification},
  author={Seger, C-JH and Jones, Robert B and O'Leary, John W and Melham, Tom and Aagaard, Mark D and Barrett, Clark and Syme, Don},
  journal={IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  volume={24},
  number={9},
  pages={1381--1405},
  year={2005},
  publisher={IEEE}
}

@misc{seger1993vos,
  title={Voss: A Formal Hardware Verification System User's Guide},
  author={Seger, Carl-Johan H},
  year={1993},
  publisher={University of British Columbia. Department of Computer Science}
}

@inproceedings{seger2006integrating,
  title={Integrating design and verification-from simple idea to practical system (abstract only)},
  author={Seger, Carl},
  booktitle={Formal Methods and Models for Co-Design, 2006. MEMOCODE'06. Proceedings. Fourth ACM and IEEE International Conference on},
  pages={161--162},
  year={2006},
  organization={IEEE}
}

@inproceedings{seger2006design,
  title={The design of a floating point execution unit using the Integrated Design and Verification (IDV) system (abstract only)},
  author={Seger, Carl},
  booktitle={Int. Workshop on Designing Correct Circuits},
  year={2006}
}

@article{ullmann1976algorithm,
  title={An algorithm for subgraph isomorphism},
  author={Ullmann, Julian R},
  journal={Journal of the ACM (JACM)},
  volume={23},
  number={1},
  pages={31--42},
  year={1976},
  publisher={ACM}
}

@article{cordella2004sub,
  title={A (sub) graph isomorphism algorithm for matching large graphs},
  author={Cordella, Luigi P and Foggia, Pasquale and Sansone, Carlo and Vento, Mario},
  journal={IEEE transactions on pattern analysis and machine intelligence},
  volume={26},
  number={10},
  pages={1367--1372},
  year={2004},
  publisher={IEEE}
}

@misc{sysdig_cpu,
    author={Théophile Bastian and Noémie Cartier and Nathanaël Courant},
    title={``Système digital'' project},
    howpublished={\url{https://github.com/tobast/sysdig-full/}},
    year=2016
}

@incollection{hazelhurst1997symbolic,
  title={Symbolic trajectory evaluation},
  author={Hazelhurst, Scott and Seger, Carl-Johan H},
  booktitle={Formal hardware verification},
  pages={3--78},
  year={1997},
  publisher={Springer}
}