TY  - RPRT
TI  - Relational Hoare Logic for Realistically Modelled Machine Code
AU  - Denis Mazzucato
AU  - Abdalrhman Mohamed
AU  - Juneyoung Lee
AU  - Clark Barrett
AU  - Jim Grundy
AU  - John Harrison
AU  - Corina S. Pasareanu
PY  - 2025
UR  - https://arxiv.org/abs/2505.14348
ID  - 2505.14348
ER  -