Efficient Verification with BDDs using Implicitly Conjoined Invariants.

Alan J. Hu, David L. Dill

Browse the full CAV paper archive.