Sign in

Automatic Invariant Synthesis for Arrays in Simple Programs.

Bin LiZhenhao TangJuan ZhaiJianhua Zhao
Published in: QRS (2016)
Keyphrases
  • fully automatic
  • neural network
  • real world
  • computer vision
  • real time
  • databases
  • data model
  • affine invariant