Login / Signup
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