FO-Complete Program Verification for Heap Logics

Open Webpage

Adithya Murali, Hrishikesh Balakrishnan, Aaron Councilman, P. Madhusudan

Published: 2026, Last Modified: 07 May 2026CoRR 2026EveryoneRevisionsBibTeXCC BY-SA 4.0