Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams.

Thanyapat Sakunkonchak Masahiro Fujita

Published in: FORTE (2002)

Keyphrases

decision diagrams
multi valued
markov decision processes
model checking
planning problems
binary decision diagrams
constraint satisfaction problems
efficient computation
compressed data
multiple valued
data sets
machine learning
image data
database design
data compression