Grove: a Separation-Logic Library for Verifying Distributed Systems (Extended Version).
Upamanyu SharmaRalf JungJoseph TassarottiM. Frans KaashoekNickolai ZeldovichPublished in: CoRR (2023)
Keyphrases
- distributed systems
- fault tolerant
- distributed environment
- geographically distributed
- distributed computing
- fault tolerance
- load balancing
- message passing
- logic programming
- concurrent systems
- mobile agents
- derivation rules
- real time systems
- operating system
- security policies
- modal logic
- model checking
- mobile computing
- agent technology
- loosely coupled
- wireless sensor networks
- case study
- artificial intelligence