Simplifying Linearizability Proofs with Reduction and Abstraction.

Tayfun Elmas Shaz Qadeer Ali Sezgin Omer Subasi Serdar Tasiran

Published in: TACAS (2010)

Keyphrases

high level
reinforcement learning
theorem proving
reduction method
database
mathematical proofs
multimedia
data structure
theorem prover
data reduction
attribute reduction
natural deduction
formal proof
formal proofs