Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing.
William SchultzEdward AshtonHeidi HowardStavros TripakisPublished in: CoRR (2024)
Keyphrases
- lightweight
- formal proof
- scalable distributed
- cryptographic protocols
- distributed systems
- model checking
- protocol specification
- group communication
- cooperative
- distributed environment
- formal analysis
- fault tolerant
- data intensive
- model checker
- mobile agents
- multi agent
- computer networks
- fully distributed
- wide area network
- peer to peer
- fault tolerance
- inductive learning
- functional programs
- distributed storage