Keyphrases
- formal methods
- model checking
- theorem prover
- formal analysis
- formal verification
- real time
- formal specification
- temporal reasoning
- software engineering
- multi agent
- fingerprint verification
- concurrent systems
- topological spaces
- database
- neural network
- databases
- test generation
- person identification
- false acceptance
- face verification
- spatial reasoning
- temporal constraints
- feature extraction
- case study
- website
- image processing
- learning algorithm
- data mining