Automatic verification of loop invariants.

Olivier Ponsini Hélène Collavizza Carine Fédèle Claude Michel Michel Rueher

Published in: ICSM (2010)

Keyphrases

moment invariants
imperative programs
knowledge base
affine invariant
feedback loop
information systems
database
data structure
geometric invariants
multi view
viewpoint
preprocessing
image segmentation
multimedia
search engine
data mining
real time