Sal: Multi-modal Verification of Replicated Data Types

Pranav Ramesh, Vimala Soundarapandian, KC Sivaramakrishnan

Designing correct replicated data types (RDTs) is challenging because replicas evolve independently and must be merged while preserving application intent. A promising approach is…