Formal Specification and Verification of Distributed Systems.
Bo-Shoe ChenRaymond T. YehPublished in: ICDCS (1982)
Keyphrases
- distributed systems
- formal specification
- model checking
- concurrent systems
- process algebra
- formal methods
- model checker
- protocol specification
- fault tolerant
- temporal logic
- specification languages
- object oriented design
- formal verification
- fault tolerance
- distributed environment
- specification language
- load balancing
- geographically distributed
- software architecture
- grid workflow
- distributed computing
- real time systems
- high assurance
- reverse engineering
- mobile computing
- mobile agents
- bounded model checking
- deadlock detection
- data replication
- data management
- agent based systems
- distributed database systems
- databases