Invariant Synthesis for Incomplete Verification Engines.
Daniel NeiderPranav GargP. MadhusudanShambwaditya SahaDaejun ParkPublished in: TACAS (1) (2018)
Keyphrases
- model checking
- incomplete data
- face verification
- formal verification
- missing values
- concurrent systems
- verification method
- affine invariant
- texture synthesis
- database
- moment invariants
- program synthesis
- signature verification
- invariant features
- functional verification
- image transformations
- noisy data
- missing data
- neural network