Journal "Software Engineering"
a journal on theoretical and applied science and technology
ISSN 2220-3397

Issue N3 2012 year

Formal Verification of C and C++ Programs: Practical Aspects
F. M. Puchkov , e-mail: fedormex@iisi.msu.ru, K. A. Shapchenko , e-mail: shapchenko@iisi.msu.ru

This article discusses the current state of the art in formal software verification. Approaches for improving traditional methods and software of automated detection of run-time errors in C/C++ programs which are based on formal verification techniques are investigated.

Keywords: formal verification of programs, static analysis, information security
pp. 34–47