SLING: using dynamic analysis to infer program invariants in separation logic

Open Webpage

Ton Chanh Le, Guolong Zheng, ThanhVu Nguyen

Published: 2019, Last Modified: 13 May 2025PLDI 2019EveryoneRevisionsBibTeXCC BY-SA 4.0