FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers.
Shang-Wei LinJun SunHao XiaoYang LiuDavid SanánHenri HansenPublished in: ASE (2017)
Keyphrases
- forward backward
- hidden markov models
- linear interpolation
- image interpolation
- feedback loop
- imperative programs
- neural network
- first order logic
- logic rules
- affine moment invariants
- invariant features
- moment invariants
- affine invariant
- invariant representation
- video sequences
- edge directed
- quasi invariant
- multiscale