Verification of distributed systems with the axiomatic system of MSVL.
Qian MaZhenhua DuanNan ZhangXiaobing WangPublished in: Formal Aspects Comput. (2015)
Keyphrases
- distributed systems
- concurrent systems
- distributed environment
- fault tolerant
- geographically distributed
- model checking
- load balancing
- fault tolerance
- message passing
- distributed computing
- deadlock detection
- real time systems
- high assurance
- replicated data
- mobile computing
- distributed database systems
- databases
- operating system
- security policies
- data replication
- object oriented
- web services
- real time