Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers.

Pierre-Loïc Garoche Temesghen Kahsai Cesare Tinelli

Published in: NASA Formal Methods (2013)

Keyphrases

data driven
semi automatic
affine invariant
low level
information systems
image processing
high level
data model
higher level
fully automatic
invariant properties
computer vision
case study
knowledge representation
moment invariants