1. 4

Abstract interpretation is a method static analyzers use to prove absence of bugs. Astree Analyzer is one of the best. This paper describes the basic concepts of how it works.

  1.