Keyphrases
- model checking
- formal verification
- signature verification
- formal analysis
- databases
- neural network
- search algorithm
- digital images
- temporal logic
- fingerprint verification
- real time
- person identification
- face verification
- face images
- face recognition
- case study
- web services
- knowledge base
- artificial intelligence
- data sets