Crash-Resilient Decentralized Synchronous Runtime Verification.
Shokoufeh KazemlouBorzoo BonakdarpourPublished in: SRDS (2018)
Keyphrases
- model checking
- peer to peer
- multi agent
- cooperative
- machine learning
- face verification
- distributed systems
- databases
- signature verification
- computer vision
- video sequences
- expert systems
- case study
- e learning
- artificial intelligence
- database
- formal verification
- asynchronous circuits
- asynchronous communication
- verification method
- concurrent systems
- distributed constraint optimization