Synthesizing Safe Bit-Precise Invariants.

Arie Gurfinkel Anton Belov João Marques-Silva

Published in: TACAS (2014)

Keyphrases

feature points
affine transformation
moment invariants
pose estimation
neural network
geometric invariants
real time
real world
website
information retrieval
three dimensional
database systems
invariant features
bit vector
bit vectors
imperative programs