Formal verification of replication on a distributed data space architecture.

Jozef Hooman Jaco van de Pol

Published in: SAC (2002)

Keyphrases

distributed data
formal verification
data sharing
model checking
data replication
distributed data mining

integrating heterogeneous
automated verification
bounded model checking
model checker
management system
program slicing

symbolic model checking
software architecture
data mining algorithms
temporal logic
data distribution
case study

databases
formal methods
communication cost
pattern recognition
decision making