@article{dkw2008,
  author = "D'Silva, Vijay and Kroening, Daniel and Weissenbacher, Georg",
  journal = "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)",
  month = "July",
  number = "7",
  pages = "1165-1178",
  publisher = "IEEE",
  title = "A Survey of Automated Techniques for Formal Software Verification",
  url = "http://dx.doi.org/10.1109/TCAD.2008.923410",
  volume = "27",
  year = "2008",
}