@misc{indiciae60d12ff42bd7,
  title = {Relational Hoare Logic for Realistically Modelled Machine Code},
  author = {Denis Mazzucato and Abdalrhman Mohamed and Juneyoung Lee and Clark Barrett and Jim Grundy and John Harrison and Corina S. Pasareanu},
  year = {2025},
  url = {https://arxiv.org/abs/2505.14348},
  note = {Source identifier: 2505.14348}
}