Lifting the Reasoning Level in Generic Weak Memory Verification (Extended Version).

Lara Bargmann Heike Wehrheim

Published in: CoRR (2023)

Keyphrases

wavelet transform
reasoning systems
levels of abstraction
qualitative reasoning
model checking
object level
application level
fuzzy description logics
case based reasoning
higher level
main memory
memory usage
automated reasoning
case based reasoner