Keyphrases
- programming language
- hardware and software
- general purpose
- model checking
- computer systems
- neural network
- data mining
- learning algorithm
- databases
- computer architecture
- formal analysis
- verification method
- artificial intelligence
- genetic algorithm
- machine learning
- computing systems
- face verification
- signature verification
- person identification