C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Poling: SMT Aided Linearizability Proofs.
He Zhu
Gustavo Petri
Suresh Jagannathan
Published in:
CAV (2) (2015)
Keyphrases
</>
theorem proving
statistical machine translation
theorem prover
formal proof
formal proofs
equational theories
data sets
video sequences
decision procedures
databases
information retrieval
probabilistic model
word alignment
mathematical proofs
interactive theorem proving