Keyphrases
- model checking
- formal verification
- concurrent systems
- verification method
- face verification
- high security
- digital libraries
- probabilistic model
- functional verification
- fingerprint verification
- formal methods
- data sets
- multiresolution
- artificial neural networks
- multi agent systems
- search algorithm
- image segmentation
- web services
- data mining