Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM.
Marta Z. KwiatkowskaGethin NormanRoberto SegalaPublished in: CAV (2001)
Keyphrases
- automated verification
- model checking
- formal verification
- model checker
- lightweight
- symbolic model checking
- distributed systems
- temporal logic
- distributed environment
- automated reasoning
- cooperative
- generation algorithm
- group communication
- multi agent
- communication cost
- wide area network
- heuristic search
- fault tolerant
- data mining
- evolutionary algorithm
- cryptographic protocols
- multi agent systems