Interpretation: An illustration

To achieve software quality and reliability we need to identify and minimize the errors in early stages of software development life cycle which can be achieved by software verification. So, static analysis is viable surrogate which statically determines and verifies dynamic program properties. Abstract Interpretation is the theory of approximation of program semantics which is used in static analysis of programs. In this work, we provide an overview of major concepts relating to abstract interpretation theory and technique. An illustrative example is presented that shows how to do an interval analysis of a given program.