• partial traces collecting semantics,
• reflexive transitive closure/big-step operational semantics,
• reachable states,
• interval static analysis.

• the information collected by the analyzer and the verified properties (i.e. absence of runtime error and good-practice invariants)
• the general structure of the analyzer (iterator, abstractions, reduced product),
• the general structure of abstract domains and typical constructors
• numerous examples of abstract domains (intervals, octagons, ellipsoids for filters, arithmetic-geometric progressions),
• the handling of floating point computations,
• iteration strategies (including trace partitionning, widenings, and narrowings).

• Part I « Basic Concepts of Abstract Interpretation »: pdf (380 Kb)
• Part II « Applications of Abstract Interpretation »: pdf (3.3 Mb)

\bibitem{Cousot-TASE07tutorial}
P.~Cousot.
\newblock Abstract Interpretation and Application to 
   Static Analysis (invited tutorial). Part I: Basic Concepts of Abstract 
   Interpretation; Part II: Applications of Abstract Interpretation.
\newblock \emph{First IEEE \& IFIP International Symposium on Theoretical Aspects of 
   Software Engineering, TASE 2007}, 
    Shanghai, China, 5\raisebox{0.5ex}{\footnotesize th} 
    June 2007.

@inProceedings{Cousot-TASE07tutorial,
   author =    {P{.} Cousot},
   title =     {Abstract Interpretation and Application to Static Analysis 
                (invited tutorial). {Part I: B}asic Concepts of Abstract 
                Interpretation; {Part II: A}pplications of Abstract Interpretation},
   booktitle = {First IEEE \& IFIP International Symposium on Theoretical Aspects of Software 
                Engineering, TASE 2007},
   address =   {Shanghai, China},
   month =     {5\raisebox{0.5ex}{\footnotesize st} June},
   year =      2007,
}