Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes.

Published in: World Congress on Formal Methods (1999)

Keyphrases

data structure
multiresolution
learning algorithm
dynamic aspects
expert systems
knowledge based systems
building blocks
learning systems
collaborative environments
data sets
r tree
retrieval systems
data types
computational model
computer systems
distributed systems
multimedia
data mining