@inproceedings{ks2007-iccad,
  title = "Formal Verification at Higher Levels of Abstraction",
  author = "Kroening, Daniel and Seshia, Sanjit A.",
  year = "2007",
  booktitle = "Proceedings of ICCAD 2007",
  note = "Tutorial",
  pages = "572--578",
  publisher = "IEEE",
}