Block Abstraction Memoization for CPAchecker - (Competition Contribution).

Published in: TACAS (2012)

Keyphrases

high level
databases
image processing
image blocks
block size
data abstraction
block wise
database
information systems
fixed size