Grove: a Separation-Logic Library for Verifying Distributed Systems.
Upamanyu SharmaRalf JungJoseph TassarottiM. Frans KaashoekNickolai ZeldovichPublished in: SOSP (2023)
Keyphrases
- distributed systems
- fault tolerant
- fault tolerance
- message passing
- distributed environment
- distributed computing
- load balancing
- geographically distributed
- operating system
- data replication
- mobile agents
- loosely coupled
- modal logic
- verification method
- distributed database systems
- concurrent systems
- real time systems
- real time
- replicated data
- agent based systems
- deadlock detection
- mobile computing
- model checking
- dynamic environments
- logic programming
- object oriented