Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies (Extended Version).
Daniel WrightMark BattyBrijesh DongolPublished in: CoRR (2021)
Keyphrases
- fuzzy description logics
- reasoning systems
- knowledge representation
- control flow
- analogical reasoning
- knowledge base
- finite state machines
- data dependencies
- data sets
- production rules
- automated reasoning
- reasoning tasks
- object oriented
- domain knowledge
- optimal solution
- machine learning
- model based reasoning
- dependency analysis
- neural network