2015 · 309 citations · 45 references
ComputingComputer ScienceComputer SystemsDistributed SystemsFormal MethodsSafety EngineeringConcurrency VerificationDeductive VerificationModel CheckingReliable Distributed SystemsReliable System DesignVerificationDistributed Systems VerificationKey-value StoresLiveness AnalysisLiveness PropertiesLiveness VerificationLogic VerificationPaxosSafety Requirement Specification
Distributed systems are notorious for harboring subtle bugs. Verification can, in principle, eliminate these bugs a priori, but verification has historically been difficult to apply at full-program scale, much less distributed-system scale.
45
Ion Stoica, Robert Morris, David R. Karger et al. · 2001 · 9.7K citations
An axiomatic basis for computer programming
C. A. R. Hoare · Communications of the ACM · 1969 · 3.9K citations · Full text
Leslie Lamport · ACM Transactions on Computer Systems · 1998 · 2.7K citations · Full text