Sign in

View-Based Owicki-Gries Reasoning for Persistent x86-TSO.

Eleni Vafeiadi BilaBrijesh DongolOri LahavAzalea RaadJohn 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