Invariant Synthesis for Incomplete Verification Engines.
Daniel NeiderPranav GargP. MadhusudanShambwaditya SahaDaejun ParkPublished in: CoRR (2017)
Keyphrases
- model checking
- affine transformation
- quasi invariant
- face verification
- signature verification
- information systems
- incomplete data
- invariant features
- formal analysis
- program synthesis
- missing data
- similarity measure
- feature extraction
- genetic algorithm
- moment invariants
- image processing
- formal verification
- person identification
- fingerprint verification
- noise resistant