Message Chains for Distributed System Verification.
Federico MoraAnkush DesaiElizabeth PolgreenSanjit A. SeshiaPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- distributed systems
- concurrent systems
- fault tolerant
- distributed environment
- load balancing
- high assurance
- model checking
- fault tolerance
- distributed computing
- message passing
- software architecture
- mobile agents
- loosely coupled
- geographically distributed
- operating system
- distributed database systems
- mobile computing
- data replication
- data availability
- temporal logic
- replicated data
- description logics
- response time
- database