Journal article icon

Journal article

A Survey of Automated Techniques for Formal Software Verification

Abstract:

The quality and the correctness of software are often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific flaws. This paper surveys algorithms that perform automatic static analysis of software to detect programming errors or prove their absence. The three techniques considered are static analysis with abstract domains, model checking, and bounded model checking. A short tutorial on these techniques is provided, highl...

Expand abstract

Actions


Access Document


Publisher copy:
10.1109/TCAD.2008.923410

Authors


Vijay D'Silva More by this author
Daniel Kroening More by this author
Georg Weissenbacher More by this author
Journal:
IEEE Transactions on Computer−Aided Design of Integrated Circuits and Systems (TCAD)
Volume:
27
Issue:
7
Pages:
1165-1178
Publication date:
2008-07-01
DOI:
URN:
uuid:e3ca386b-7ac3-46a8-bc24-b97ded8c9545
Local pid:
cs:696

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP