Layered Duplicate Detection in External-Memory Model Checking.
Peter LambornEric A. HansenPublished in: SPIN (2008)
Keyphrases
- model checking
- duplicate detection
- external memory
- memory efficient
- main memory
- temporal logic
- memory space
- data structure
- range queries
- formal verification
- block size
- graph search
- data cleaning
- xpath queries
- record linkage
- random access
- algorithms require
- formal methods
- verification method
- databases
- index structure
- memory requirements
- data quality
- data warehousing
- orders of magnitude