@misc{indiciaeb938f5664f1c,
  title = {Sal: Multi-modal Verification of Replicated Data Types},
  author = {Pranav Ramesh and Vimala Soundarapandian and KC Sivaramakrishnan},
  year = {2026},
  url = {https://arxiv.org/abs/2603.27202},
  note = {Source identifier: 2603.27202}
}