A Survey of Automated Techniques for Formal Software Verification

@article{DSilva2008ASO,
  title={A Survey of Automated Techniques for Formal Software Verification},
  author={Vijay D'Silva and Daniel Kroening and Georg Weissenbacher},
  journal={IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  year={2008},
  volume={27},
  pages={1165-1178}
}
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… CONTINUE READING
Highly Cited
This paper has 223 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 139 extracted citations

Formal Verification of Software for the Contiki Operating System Considering Interrupts

2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems • 2015
View 5 Excerpts
Highly Influenced

Model checking aircraft controller software: a case study

Zhe Chen, Yi Gu, +3 authors Ziyi Liu
Softw., Pract. Exper. • 2015
View 4 Excerpts
Highly Influenced

Verifying abstract data types a hybrid approach

2013 INTERNATIONAL CONFERENCE ON COMPUTING, ELECTRICAL AND ELECTRONIC ENGINEERING (ICCEEE) • 2013
View 8 Excerpts
Highly Influenced

Compositional Verification of Component-based System

Wang Qiang RiSD
2014
View 5 Excerpts
Highly Influenced

223 Citations

0102030'10'13'16'19
Citations per Year
Semantic Scholar estimates that this publication has 223 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…