Are BDDs still alive within sequential verification?

Gianpiero Cabodi Sergio Nocco Stefano Quer

Published in: Int. J. Softw. Tools Technol. Transf. (2005)

Keyphrases

model checking
heuristic search
timed automata
data mining
verification method
formal verification
real time
set bounds propagation
binary decision diagrams
test generation
signature verification
knowledge compilation
multi valued
relational databases
data structure
image sequences
search engine