Crowfoot: A Verifier for Higher-Order Store Programs.

Nathaniel Charlton, Ben Horsfall, Bernhard Reus

Browse the full VMCAI paper archive.