Login / Signup

On using a 2-domain partitioned OBDD data structure in verification.

Tao FengLi-C. WangKwang-Ting ChengAndy Lin
Published in: HLDVT (2004)
Keyphrases
  • data structure
  • model checking
  • deterministic domains
  • domain independent
  • tree structure
  • formal verification
  • data mining
  • multiresolution
  • multi dimensional
  • r tree
  • signature verification
  • efficient data structures