/CSVerifi

An implementation of the logic for verifying the correctness of cloud storage system in Coq

Primary LanguageCoqMIT LicenseMIT

CSSsVerification

An implementation of the logic for verifying the correctness of CSSs in Coq