COMS W4117
Compilers and Translators:
Software Verification Tools
Lecture 19: Binary Decision Diagrams
November 8, 2007

Lecture Outline

  1. Review
  2. Pointer analysis
  3. Binary decision diagrams


1. Review



2. Pointer Analysis



3. Binary Decision Diagrams



4. Transformations on BDDs

5. Reading



aho@cs.columbia.edu