Crash-Resilient Decentralized Synchronous Runtime Verification.
Ritam GangulyShokufeh KazemlooBorzoo BonakdarpourPublished in: IEEE Trans. Dependable Secur. Comput. (2024)
Keyphrases
- cooperative
- model checking
- multi agent
- distributed systems
- asynchronous circuits
- digital libraries
- verification method
- formal verification
- neural network
- distributed agents
- concurrent systems
- database
- formal methods
- information systems
- real world
- information flow control
- functional verification
- person identification
- petri net
- peer to peer
- video sequences
- website