Formal Specification and Compositional Verification of an Atomic Broadcast Protocol.
Ping ZhouJozef HoomanPublished in: Real Time Syst. (1995)
Keyphrases
- formal specification
- protocol specification
- model checker
- model checking
- specification language
- formal methods
- concurrent systems
- specification languages
- object oriented design
- process algebra
- data dissemination
- reverse engineering
- communication protocols
- temporal logic
- formal verification
- multi agent
- data abstraction
- response time
- cryptographic protocols
- databases
- expert systems
- business processes
- knowledge base