Keyphrases
- petri net
- model checking
- colored petri nets
- verification method
- timed automata
- concurrent systems
- face verification
- functional verification
- finite state machines
- database
- signature verification
- search engine
- neural network
- clustering algorithm
- formal analysis
- formal verification
- cryptographic protocols
- artificial intelligence
- databases
- data sets