Formalized Verification of Snapshotable Trees: Separation and Sharing.

Hannes Mehnert Filip Sieczkowski Lars Birkedal Peter Sestoft

Published in: VSTTE (2012)

Keyphrases

decision trees
information sharing
tree structure
model checking
data sharing
tree structures
databases
knowledge sharing
face verification
formal analysis
unordered trees
concurrent systems
asynchronous circuits
multiple users
knowledge management
multiresolution
relational databases
artificial intelligence