EVEREST: Nearly full automatic verification for geo-replicated systems Vrije Universiteit Brussel
and fault tolerance. However, replication increases the complexity of the system as keeping replicas
consistent is a difficult task. As a result of the CAP theorem, much work has focused on programming
abstractions/models for ensuring strong consistency (e.g., distributed consensus) or eventual
consistency (e.g., ...