Decentralized Asynchronous Crash-Resilient Runtime Verification.
Borzoo BonakdarpourPierre FraigniaudSergio RajsbaumDavid A. RosenbluethCorentin TraversPublished in: CONCUR (2016)
Keyphrases
- asynchronous circuits
- cooperative
- model checking
- multi agent
- distributed systems
- verification method
- formal verification
- real time
- data sets
- artificial intelligence
- peer to peer
- signature verification
- delay insensitive
- state machines
- asynchronous cellular automata
- database
- concurrent systems
- asynchronous communication
- face verification