Read-once Projections and Formal Circuit Verification with Binary Decision Diagrams
Beate BolligIngo WegenerPublished in: Electron. Colloquium Comput. Complex. (1995)
Keyphrases
- binary decision diagrams
- model checking
- symbolic model checking
- formal methods
- formal specification
- model checker
- formal verification
- boolean formula
- boolean functions
- temporal logic
- formal analysis
- asynchronous circuits
- variable ordering
- multi dimensional
- planning problems
- database
- knowledge compilation
- knowledge base
- data sets