Login / Signup
Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic.
Christina Jansen
Jens Katelaan
Christoph Matheja
Thomas Noll
Florian Zuleger
Published in:
CoRR (2016)
Keyphrases
</>
data structure
formal theory
modal logic
desirable properties
data sets
high level
computational efficiency
structural properties
spatial reasoning
automated reasoning
real time
knowledge base
logic programs
dynamic logic