| 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.