@article{4544862,
    Author = {D'silva, V. and Kroening, D. and Weissenbacher, G.},
    File = {A Survey of Automated Techniques for Formal Software Verification - D'silva, Kroening, Weissenbacher (0) (0) - a - a - p.pdf},
    ISSN = {0278-0070},
    Journal = {Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on},
    Keywords = {electronic engineering computing;program diagnostics;program verification;abstract domains;automated techniques;automatic static analysis;bounded model checking;electronic systems;formal software verification;formal verification tools;programming error detection;Algorithm design and analysis;Automatic programming;Automatic testing;Formal verification;Hardware;Performance analysis;Software algorithms;Software performance;Software quality;Software systems;Bounded model checking (BMC);model checking;predicate abstraction;software verification;static analysis},
    Number = {7},
    Pages = {1165-1178},
    Title = {A Survey of Automated Techniques for Formal Software Verification},
    Volume = {27},
    Year = {2008},
    bdsk-url-1 = {http://dx.doi.org/10.1109/TCAD.2008.923410},
    date-added = {2013-11-30 16:46:20 +0000},
    date-modified = {2013-11-30 16:46:20 +0000},
    doi = {10.1109/TCAD.2008.923410}
}

@article{4544862, Author = {D'silva, V. and Kroening, D. and Weissenbacher, G.}, File = {A Survey of Automated Techniques for Formal Software Verification - D'silva, Kroening, Weissenbacher (0) (0) - a - a - p.pdf}, ISSN = {0278-0070}, Journal = {Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on}, Keywords = {electronic engineering computing;program diagnostics;program verification;abstract domains;automated techniques;automatic static analysis;bounded model checking;electronic systems;formal software verification;formal verification tools;programming error detection;Algorithm design and analysis;Automatic programming;Automatic testing;Formal verification;Hardware;Performance analysis;Software algorithms;Software performance;Software quality;Software systems;Bounded model checking (BMC);model checking;predicate abstraction;software verification;static analysis}, Number = {7}, Pages = {1165-1178}, Title = {A Survey of Automated Techniques for Formal Software Verification}, Volume = {27}, Year = {2008}, bdsk-url-1 = {http://dx.doi.org/10.1109/TCAD.2008.923410}, date-added = {2013-11-30 16:46:20 +0000}, date-modified = {2013-11-30 16:46:20 +0000}, doi = {10.1109/TCAD.2008.923410} }