Automatic Invariant Synthesis for Arrays in Simple Programs.

Bin Li Zhenhao Tang Juan Zhai Jianhua Zhao

Published in: QRS (2016)

Keyphrases

fully automatic
neural network
real world
computer vision
real time
databases
data model
affine invariant