Formal verification of replication on a distributed data space architecture