A formal method to statically infer program properties.
A formal method to statically infer program properties. Almost all static analysis methods can be viewed as abstract interpretation, such as data flow analysis, model checking, static type checking etc. It differs from testing and other dynamic program analysis framework which infer or verify program properties a posteriori. The abstract interpretation theory is initially proposed by R.Cousot and P.Cousot in their 1977 POPL paper.