A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is
Researchers have explored a variety of static approaches to verification. By static, we mean any technique used to reason about the source code without executing it. These approaches include dataflowbased and other static analyses, abstract interpretations, model checking, symbolic execution, and deductive verification using code contracts. The techniques and tools developed target a number of different aspects of "correctness", including verification of. . . • absence of null pointerdoi:10.6084/m9.figshare.1564849.v1 fatcat:zs5434rbfrexfl5znevp34ekpe