Keyphrases
- source code
- model checking
- expert systems
- byte code
- face verification
- machine learning
- knowledge base
- multiscale
- artificial neural networks
- verification method
- formal methods
- error correcting
- hybrid systems
- person identification
- functional verification
- asynchronous circuits
- formal verification
- signature verification
- data flow
- database systems
- search engine