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