Automating and Mechanizing Cutoff-based Verification of Distributed Protocols.

Shreesha G. Bhat Kartik Nagar

Published in: CoRR (2022)

Keyphrases

distributed systems
distributed environment
lightweight
cooperative
multi party
peer to peer
computer networks
multi agent
model checking
data sets
neural network
distributed data
face verification
formal methods
cryptographic protocols
verification method