Invariant generation for linearizability proofs.

Graeme Smith John Derrick

Published in: SAC (2016)

Keyphrases

theorem proving
affine transformation
data sets
neural network
learning algorithm
decision procedures
data mining
artificial intelligence
decision making
pattern recognition
theorem prover
generation method
formal proofs
equational theories