Login / Signup
Modular verification of heap reachability properties in separation logic.
Arshavir Ter-Gabrielyan
Alexander J. Summers
Peter Müller
Published in:
Proc. ACM Program. Lang. (2019)
Keyphrases
</>
derivation rules
asynchronous circuits
data structure
model checking
model checker
state space
modal logic
artificial intelligence
digital circuits
formal verification
bounded model checking
verification method
formal language
defeasible logic
formal methods
desirable properties
rough sets
case study