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