Login / Signup
View-Based Owicki-Gries Reasoning for Persistent x86-TSO.
Eleni Vafeiadi Bila
Brijesh Dongol
Ori Lahav
Azalea Raad
John Wickerson
Published in:
ESOP (2022)
Keyphrases
</>
production rules
knowledge representation
knowledge based systems
knowledge base
multi view
automated reasoning
data sets
reasoning mechanisms
neural network
data mining
expert systems
conflicting information