Automatically Verifying Replication-aware Linearizability

Vimala Soundarapandian, Kartik Nagar, Aseem Rastogi +1

Data replication is crucial for enabling fault tolerance and uniform low latency in modern decentralized applications. Replicated Data Types (RDTs) have emerged as a principled app…