Lifting the Reasoning Level in Generic Weak Memory Verification.

Lara Bargmann Heike Wehrheim

Published in: iFM (2023)

Keyphrases

higher level
levels of abstraction
high level
model checking
memory space
knowledge representation
data sets
memory size
computing power
automated reasoning
memory requirements
multiresolution
memory usage
knowledge base
genetic algorithm
neural network
application level
database
case based reasoner