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
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Accepted Manuscript

Actions


Access Document


Files:
Publisher copy:
10.1109/TCAD.2008.923410

Authors


D'Silva, V More by this author
More by this author
Department:
Oxford, MPLS, Computer Science
Weissenbacher, G More by this author
Publisher:
Institute of Electrical and Electronics Engineers Publisher's website
Journal:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Journal website
Volume:
27
Issue:
7
Pages:
1165-1178
Publication date:
2008-07-01
DOI:
ISSN:
0278-0070
Pubs id:
pubs:327161
URN:
uri:78a5fb01-da63-4b6f-a894-a723e4489273
UUID:
uuid:78a5fb01-da63-4b6f-a894-a723e4489273
Local pid:
pubs:327161
Keywords:

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