Login / Signup

Efficient Verification with BDDs using Implicitly Conjoined Invariants.

Alan J. HuDavid L. Dill
Published in: CAV (1993)
Keyphrases
  • cost effective
  • computationally expensive
  • databases
  • real world
  • machine learning
  • web services
  • model checking