Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification.
Sudhindra PandavKonrad SlindGanesh GopalakrishnanPublished in: CHARME (2005)
Keyphrases
- model checking
- formal verification
- temporal logic
- verification method
- data mining
- knowledge discovery
- face verification
- affine transformation
- artificial intelligence
- invariant features
- pattern recognition
- website
- search algorithm
- video sequences
- pattern discovery
- bayesian networks
- similarity measure
- moment invariants
- feature extraction
- person identification
- fingerprint verification
- invariant properties
- invariance properties