Formal verification of a distributed master election protocol.
Gianluca CenaIvan Cibrario BertolottiTingting HuPublished in: WFCS (2012)
Keyphrases
- formal verification
- coloured petri nets
- model checker
- model checking
- lightweight
- cryptographic protocols
- bounded model checking
- automated verification
- distributed environment
- distributed systems
- wide area network
- cooperative
- multi party
- formal methods
- group communication
- symbolic model checking
- multi agent
- temporal logic
- computer networks
- fault tolerant
- commit protocols
- orders of magnitude
- peer to peer
- artificial intelligence
- theorem proving
- belief revision