Coding bugs cause improper program behavior (behavior deviating from the requirements).

As mentioned above, many types of memory usage errors are insidious: the program appears to behave normally, even though it's at risk for memory corruption and improper behavior.

Static verification offers the promise of finding many common errors in program logic such as possibly improper use of a method at compile time as opposed to at runtime.