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

Christoph Haase Samin Ishtiaq Joël Ouaknine Matthew J. Parkinson

Published in: CAV (2013)

Keyphrases

software tools
graphical representation
graph theory
modal logic
graph partitioning
graph structures
neural network
data model
random walk
structured data
bipartite graph
weighted graph
directed acyclic graph
graph theoretic
dependency graph