On Simplifying Modular Specification and Verification of Distributed Protocols.
Purnendu SinhaNeeraj SuriPublished in: HASE (2001)
Keyphrases
- protocol specification
- formal verification
- distributed systems
- model checking
- asynchronous circuits
- cooperative
- formal specification
- agent communication language
- cryptographic protocols
- data sets
- distributed data
- communication protocols
- multi agent
- database replication
- modular structure
- formal methods
- multi party
- fault tolerance
- distributed environment