2.1 Introduction2.2 Apache Cassandra2.3 Formalizing, Analyzing, and Extending Google's Megastore2.4 RAMP Transaction Systems2.5 Group Key Management via ZooKeeper2.6 How Amazon Web Services Uses Formal Methods2.7 Related Work2.8 Concluding RemarksAcknowledgmentsReferences