Login / Signup

Handling TSO in Mechanized Linearizability Proofs.

Oleg TravkinHeike Wehrheim
Published in: Haifa Verification Conference (2014)
Keyphrases
  • theorem proving
  • database
  • formal proofs
  • computer vision
  • knowledge base
  • formal proof