Formal Verification based on Boolean Expression Diagrams.

Poul Frederick Williams

Published in: Electron. Notes Theor. Comput. Sci. (2001)

Keyphrases

formal verification
boolean expressions
model checking
normal form
real valued
conjunctive queries
internal nodes
multiresolution
query evaluation
mining frequent
query answering
inverted lists