Formal verification of replication on a distributed data space architecture.
Jozef HoomanJaco van de PolPublished 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