Simplifying Loop Invariant Generation Using Splitter Predicates.

Rahul Sharma Isil Dillig Thomas Dillig Alex Aiken

Published in: CAV (2011)

Keyphrases

user defined
real time
databases
real world
computer vision
website
similarity measure
generation process
geometric transformations
symmetry breaking
invariant properties
invariance properties