Abstract:
A brief introduction to the theory of Abstract Interpretation,
examplified by constructing a hierarchy of partial traces,
reflexive transitive closure, reachable states and intervals
abstract semantics of transition systems.