Extended Static Checking: A Ten-Year Perspective

13 years 7 months ago
Extended Static Checking: A Ten-Year Perspective
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program is free of the classes of errors under consideration. Finding errors in the program is then done by mechanically searching for counterexamples to the verification condition. This paper gives an overview of the technology that goes into such program checkers, reports on some of the progress and lessons learned in the past ten years, and identifies some remaining challenges.
K. Rustan M. Leino
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2001
Authors K. Rustan M. Leino
Comments (0)