Six lectures by Thomas Ball at LASER 2007 Summer School, September 2007

• Introduction
• Reachability in finite-state systems
• Dataflow analysis
• Interprocedural dataflow analysis
• Abstract interpretation I
• Abstract interpretation II