An Empirical Study on the Correctness of Formally Verified Distributed Systems.
Pedro FonsecaKaiyuan ZhangXi WangArvind KrishnamurthyPublished in: EuroSys (2017)
Keyphrases
- distributed systems
- fault tolerant
- distributed environment
- load balancing
- fault tolerance
- concurrent systems
- distributed computing
- message passing
- geographically distributed
- security policies
- distributed database systems
- mobile computing
- operating system
- real time systems
- mobile agents
- loosely coupled
- computer systems
- replicated data
- mobile devices
- databases