TY  - RPRT
TI  - Sal: Multi-modal Verification of Replicated Data Types
AU  - Pranav Ramesh
AU  - Vimala Soundarapandian
AU  - KC Sivaramakrishnan
PY  - 2026
UR  - https://arxiv.org/abs/2603.27202
ID  - 2603.27202
ER  -