A logical approach to program analysis Robert R. KesslerJed J. Krohnfeldt OriginalPaper Pages: 5 - 27