Keyphrases
- peer to peer
- model checking
- cooperative
- multi agent
- distributed systems
- concurrent systems
- verification method
- formal verification
- face verification
- formal analysis
- data sets
- asynchronous circuits
- case study
- database
- formal methods
- security analysis
- access control
- learning algorithm
- distributed constraint optimization
- decentralized decision making