SeLoger: A Tool for Graph-Based Reasoning in Separation Logic.

Christoph Haase, Samin Ishtiaq, Jol Ouaknine, Matthew J. Parkinson

Browse the full CAV paper archive.