PAPERS

Title:A Survey of Automated Techniques for Formal Software Verification
Links:Homepage
Document as PDF
Authors:Vijay D'Silva
Daniel Kroening EMail
Georg Weissenbacher
Remarks:
Topics:

Bibtex:

@article{dkw2008,
  AUTHOR    = { D'Silva, Vijay
                and Kroening, Daniel
                and Weissenbacher, Georg },
  TITLE     = { A Survey of Automated Techniques for Formal Software Verification },
  YEAR      = { 2008 },
  PUBLISHER = { IEEE },
  PAGES     = { 1165--1178 },
  JOURNAL   = { IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) },
  VOLUME    = { 27 },
  MONTH     = { July },
  NUMBER    = { 7 },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.