Brief Announcement: Automating and Mechanising Cutoff Proofs for Parameterized Verification of Distributed Protocols.
Shreesha G. BhatKartik NagarPublished in: DISC (2021)
Keyphrases
- distributed systems
- cooperative
- cryptographic protocols
- formal proof
- multi agent
- distributed environment
- peer to peer
- fault tolerant
- neural network
- formal verification
- communication overhead
- distributed data
- theorem proving
- computer networks
- formal analysis
- mobile agents
- lightweight
- distributed network
- real time
- database replication