PKUTCS / CSVerifi

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

CSSsVerification

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

About

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

License:MIT License


Languages

Language:Coq 99.5%Language:Makefile 0.5%