A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
Owing to the massive growth in the storage demands of big data, Cloud Storage Systems (CSSs) have been put forward to improve the storage capacity. Compared with traditional storage systems, CSSs have lots of advantages, such as higher capacity, lower cost, and easier scalability. But they are also with higher complexity. In order to ensure CSSs to be reliable, it is necessary to prove the correctness of CSSs management programs. In fact, we are going to verify Block-based Cloud Storage SystemsarXiv:1904.04442v2 fatcat:mdvyt2h745hifgkymstnc4jhfy