Binary Decision Diagrams (BDD)

[Google Scholar] [Wikipedia]

Notes:
Papers:

A number of other compact canonical representations exist – see the Wikipedia page.

Software model checking [jhala:compsurv:2009]
HOIST: a system for automatically deriving static analyzers for embedded systems [regehr:asplos:2004]
Deriving abstract transfer functions for analyzing embedded software [regehr:lctes:2006]

Notes related to Binary Decision Diagrams (BDD)