Login / Signup
Efficient Verification with BDDs using Implicitly Conjoined Invariants.
Alan J. Hu
David L. Dill
Published in:
CAV (1993)
Keyphrases
</>
cost effective
computationally expensive
databases
real world
machine learning
web services
model checking