@inproceedings{BFG+05,
  author    = "Clark Barrett and Yi Fang and Ben Goldberg and Ying Hu and Amir Pnueli and Lenore Zuck",
  title     = "{TVOC}: A Translation Validator for Optimizing Compilers",
  booktitle = "Proceedings of the $17^{th}$ International Conference on Computer Aided Verification (CAV '05)",
  series    = "Lecture Notes in Computer Science",
  volume    = 3576,
  publisher = "Springer-Verlag",
  editor    = "Kousha Etessami and Sriram K. Rajamani",
  pages     = "291--295",
  month     = jul,
  year      = 2005,
  note      = "Edinburgh, Scotland"
}