@INPROCEEDINGS{NMLBS:2010,
    author = {Nopper, Tobias and Miller, Christian and Lewis, Matthew and Becker, Bernd and Scholl, Christoph},
     title = {SAT Modulo BDD - A Combined Verification Approach for Incomplete Designs},
 booktitle = {GI/ITG/GMM Workshop``Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen''},
      year = {2010},
      subproject={S1},
      access={restricted},
      bibtex={nopper.gi09.bib},
      pdf={nopper.gi09.pdf},
  abstract = {We introduce a novel method that integrates BDD-based symbolic model
  checking into SAT-based bounded model checking in the presence of
  unknowns. By incorporating both distinctively different methods, our
  new hybrid verification tool can take advantage of what each type of
  model checking has to offer.
  We present a case study for which both the BDD-based method as
  well as the SAT-based method are unable to provide a proof that the
  considered property fails, but that can be solved using the
  integrated approach.},
     notes = {to be published},
}