IronFleet: proving practical distributed systems correct.
Chris HawblitzelJon HowellManos KapritsosJacob R. LorchBryan ParnoMichael L. RobertsSrinath T. V. SettyBrian ZillPublished in: SOSP (2015)
Keyphrases
- distributed systems
- fault tolerant
- load balancing
- distributed environment
- fault tolerance
- mobile agents
- distributed computing
- geographically distributed
- distributed database systems
- deadlock detection
- security policies
- loosely coupled
- mobile computing
- software development environments
- replicated data
- agent based systems
- data replication
- real time systems
- distributed databases
- operating system