TY  - RPRT
TI  - FO-Complete Program Verification for Heap Logics
AU  - Adithya Murali
AU  - Hrishikesh Balakrishnan
AU  - Aaron Councilman
AU  - P. Madhusudan
PY  - 2026
DO  - 10.1145/3720447
UR  - https://arxiv.org/abs/2601.06719
ID  - 2601.06719
ER  -