Keyphrases
- formal verification
- asynchronous circuits
- formal methods
- protocol specification
- model checking
- monitoring system
- formal specification
- colored petri nets
- high level
- specification language
- face verification
- real time
- conceptual model
- relational databases
- fingerprint verification
- concurrent systems
- database
- expert systems
- signature verification
- search algorithm
- communication protocols
- person identification
- search engine
- verification method
- machine learning