Keyphrases
- wide variety
- model checking
- real world
- block wise
- reliability analysis
- face verification
- verification method
- case study
- face recognition
- highly reliable
- formal methods
- cold standby
- neural network
- redundancy reduction
- formal verification
- block size
- image blocks
- state transition
- temporal logic
- digital images
- feature vectors
- information systems
- artificial intelligence