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

PKUTCS/CSVerifi Stargazers