Fast and Generalized Polynomial Time Memory Consistency Verification.
Amitabha RoyStephan ZeissetCharles J. FleckensteinJohn C. HuangPublished in: CAV (2006)
Keyphrases
- model checking
- special case
- computational complexity
- memory requirements
- worst case
- memory usage
- face verification
- hypertree decomposition
- verification method
- formal verification
- computing power
- data access
- main memory
- np hard
- data structure
- np hardness
- approximation ratio
- memory size
- low memory
- case study
- information systems