Dynamic Delayed Duplicate Detection for External Memory Model Checking.
Sami EvangelistaPublished in: SPIN (2008)
Keyphrases
- model checking
- duplicate detection
- external memory
- temporal logic
- formal verification
- memory efficient
- computation tree logic
- model checker
- verification method
- main memory
- record linkage
- memory space
- data cleaning
- formal methods
- graph search
- data structure
- lower bound
- database
- alternating time temporal logic
- structured data
- databases