@inproceedings{haase2013seloger,
author = {Haase, Christoph and Ishtiaq, Samin and Ouaknine, Joel and Parkinson, Matthew J.},
title = {SeLoger: A Tool for Graph-Based Reasoning in Separation Logic},
booktitle = {Computer Aided Verification (CAV)},
year = {2013},
month = {January},
abstract = {This paper introduces the tool SeLoger, which is a reasoner for satisfiability and entailment in a fragment of separation logic with pointers and linked lists. SeLoger builds upon and extends graph-based algorithms that have recently been introduced in order to settle both decision problems in polynomial time. Running SeLoger on standard benchmarks shows that the tool outperforms current state-of-the-art tools by orders of magnitude.},
url = {http://approjects.co.za/?big=en-us/research/publication/seloger-a-tool-for-graph-based-reasoning-in-separation-logic/},
edition = {Computer Aided Verification (CAV)},
}