Higher-Level Specification and Verification with BDDs.

Alan J. Hu, David L. Dill, Andreas J. Drexler, C. Han Yang

Browse the full CAV paper archive.