Sign in
Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic.
Jens Katelaan
Christoph Matheja
Thomas Noll
Florian Zuleger
Published in:
LPAR (Workshop and Short Papers) (2018)
Keyphrases
</>
data structure
formal theory
neural network
logic programming
software tools
digital circuits
asynchronous circuits
real time
website
modal logic
spatial reasoning
classical logic
causal reasoning
predicate logic
modal operators