A Non-repetitive Logic for Verification of Dynamic Memory with Explicit Heap Conjunction and Disjunction.

René Haberland Kirill Krinkin

Published in: CoRR (2019)

Keyphrases

data structure
asynchronous circuits
logic programming
dynamic environments
memory usage
database systems
suffix tree
face verification
random access
dynamically changing
predicate logic
verification method
bounded model checking