Modular Verification of Heap Reachability Properties in Separation Logic.

Arshavir Ter-Gabrielyan Alexander J. Summers Peter Müller

Published in: CoRR (2019)

Keyphrases

derivation rules
data structure
verification method
asynchronous circuits
structural properties
formal language
state space
modal logic
neural network
programming language
transitive closure
topological properties
classical logic
model checker
algebraic structure