1. Computer-Aided Formal Verification (MT 2009) Binary Decision Diagrams (BDDs) Daniel Kroening Oxford University, Computing Laboratory Version 1.0, 2009 2. Outline Why?…
