Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems.
Haojun MaHammad AhmadAman GoelEli GoldweberJean-Baptiste JeanninManos KapritsosBaris KasikciPublished in: USENIX Annual Technical Conference (2022)
Keyphrases
- distributed systems
- fault tolerant
- distributed environment
- geographically distributed
- load balancing
- fault tolerance
- operating system
- mobile agents
- real time systems
- message passing
- concurrent systems
- loosely coupled
- distributed computing
- object recognition
- complex systems
- deadlock detection
- distributed database systems
- mobile computing
- image features
- image matching
- scale invariant feature transform
- data replication
- real time
- emergent behavior
- database