Generating Loop Invariants for Program Verification by Transformation.

Geoff W. Hamilton

Published in: VPT@ETAPS (2017)

Keyphrases

case study
data sets
color images
affine invariant
neural network
database
real time
databases
machine learning
learning algorithm
information systems
knowledge base
evolutionary algorithm
moment invariants
linear transformation