Login / Signup
Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams.
Thanyapat Sakunkonchak
Satoshi Komatsu
Masahiro Fujita
Published in:
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2003)
Keyphrases
</>
decision diagrams
markov decision processes
multiple valued
multi valued
model checking
binary decision diagrams
efficient computation
digital circuits
constraint satisfaction problems
planning problems