Automata-Based Verification of Programs with Tree Updates.

Peter Habermehl Radu Iosif Tomás Vojnar

Published in: TACAS (2006)

Keyphrases

tree traversal
tree structure
symbolic execution
frequent updates
database transactions
formal methods
automatic programming
tree structures
insertions and deletions
r tree
model checking
data warehouse
fingerprint verification
tree nodes
hierarchical structure
similarity search
multi dimensional