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

Christoph Haase, Samin Ishtiaq, Joël Ouaknine, Matthew J. Parkinson
January 2013
PDF DOI
Type
Conference paper
Publication
Computer Aided Verification, CAV