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