Keyphrases
- formal methods
- model checker
- formal verification
- model checking
- theorem prover
- fingerprint verification
- face verification
- higher order
- theorem proving
- higher order logic
- machine learning
- false acceptance rate
- concurrent systems
- asynchronous circuits
- person identification
- formal analysis
- knowledge based systems
- expert systems
- database systems
- website
- image processing