Login / Signup
Edge-Valued Binary Decision Diagrams for Multi-Level Hierarchical Verification.
Yung-Te Lai
Sarma Sastry
Published in:
DAC (1992)
Keyphrases
</>
binary decision diagrams
model checking
symbolic model checking
model checker
boolean functions
formal verification
edge detection
planning problems
machine learning
temporal logic
knowledge compilation
variable ordering
search algorithm
branch and bound algorithm
formal methods