Property directed invariant refinement for program verification.

Tobias Welp Andreas Kuehlmann

Published in: DATE (2014)

Keyphrases

neural network
monotonicity property
case study
artificial intelligence
learning algorithm
genetic algorithm
website
real world
video sequences
object recognition
desirable properties
affine invariant
topological properties
invariance properties
invariant descriptors
invariant representations
real time