Login / Signup
View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended Version).
Eleni Vafeiadi Bila
Brijesh Dongol
Ori Lahav
Azalea Raad
John Wickerson
Published in:
CoRR (2022)
Keyphrases
</>
reasoning process
reasoning systems
consistency checking
model based reasoning
fuzzy description logics
databases
real world
knowledge base
multi view
model construction
information systems
three dimensional
qualitative reasoning
probabilistic logic
rule based reasoning
reasoning mechanism