Consistency Anchor Formalization and Correctness Proofs
Miguel, Correia; Bessani, Alysson;
Subject: SCFS | Cloud | Storage Systems | Consistency
This is report contains the formal proofs for the techniques for increasing the consistency of cloud storage as presented in "Bessani et al. SCFS: A Cloud-backed File System. Proc. of the 2014 USENIX Annual Technical Conference. June 2014."
The consistency anchor tec... View more