A Data Driven Approach for Algebraic Loop Invariants.

Rahul Sharma Saurabh Gupta Bharath Hariharan Alex Aiken Percy Liang Aditya V. Nori

Published in: ESOP (2013)

Keyphrases

data driven
moment invariants
imperative programs
neural network
quasi invariant
knowledge base
pattern recognition
feature vectors
higher order
affine invariant
projective invariants
geometric invariants