Higher-Level Specification and Verification with BDDs.
Alan J. HuDavid L. DillAndreas J. DrexlerC. Han YangPublished in: CAV (1992)
Keyphrases
- higher level
- formal verification
- high level
- model checking
- low level
- asynchronous circuits
- formal methods
- protocol specification
- lower level
- timed automata
- formal specification
- heuristic search
- binary decision diagrams
- face verification
- verification method
- reactive systems
- concurrent systems
- information retrieval
- specification language
- colored petri nets
- neural network
- description language
- fingerprint verification
- temporal logic
- state space
- provably correct
- web services
- website
- social networks