Formal Verification of Distributed Branching Multiway Synchronization Protocols.
Hugues EvrardFrédéric LangPublished in: FMOODS/FORTE (2013)
Keyphrases
- formal verification
- model checking
- model checker
- distributed systems
- cooperative
- symbolic model checking
- multi agent
- bounded model checking
- cryptographic protocols
- concurrent processes
- automated verification
- distributed environment
- multi party
- search tree
- commit protocols
- peer to peer
- fault tolerant
- lightweight
- database replication
- artificial intelligence